diff options
author | David Blajda <blajda@hotmail.com> | 2019-05-08 15:38:37 +0000 |
---|---|---|
committer | David Blajda <blajda@hotmail.com> | 2019-05-08 15:38:37 +0000 |
commit | 98fb79b85e3cfbb547e5340b30623511daf09ef5 (patch) | |
tree | a03bd7a95c86a92eb7510409429f50433056d7ab /src/sync/mod.rs | |
parent | 0e09c2c06fc0b81f11d12985a4172c815233db17 (diff) |
:WIP: Move types to a different crate
Diffstat (limited to 'src/sync/mod.rs')
-rw-r--r-- | src/sync/mod.rs | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/sync/mod.rs b/src/sync/mod.rs deleted file mode 100644 index 74e4235..0000000 --- a/src/sync/mod.rs +++ /dev/null @@ -1,2 +0,0 @@ -pub mod barrier; -pub mod waiter; |