| commit | 9d23efba4f250f1c49c8bf4f5c50aa0f69ff93ae | [log] [tgz] |
|---|---|---|
| author | Larry Peterson <llp@cs.princeton.edu> | Wed Jan 13 17:43:01 2016 -0500 |
| committer | Larry Peterson <llp@cs.princeton.edu> | Wed Jan 13 17:43:01 2016 -0500 |
| tree | 29e7c6d68ce8e9df683ea46b318874700bec5af5 | |
| parent | e9c194f78e7b358fc561effb2c6b98b40cf01e9a [diff] |
Delete synchronizers
diff --git a/synchronizers b/synchronizers deleted file mode 120000 index d587898..0000000 --- a/synchronizers +++ /dev/null
@@ -1 +0,0 @@ -observers \ No newline at end of file