| commit | dbbaac3add1e354714570968f2a987d2e23f902e | [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 | 1f90a738883d8e8f83fb63a14f91c11fbb55a3b4 [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