summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorGravatar Ziv Scully <ziv@mit.edu>2015-10-13 14:22:05 -0400
committerGravatar Ziv Scully <ziv@mit.edu>2015-10-13 14:22:05 -0400
commitc25f458b3e1721027b76b0cf46593becfd6f2d5f (patch)
tree23cee56697878194298b1c5fcaa36da2fb1ed2f2 /bin
parent013ea39e9f187efbb0e3a613264a1c7adfebe692 (diff)
parent438e05e7ea9949b7ee61e40a2a6bc7e1c1d4b8f3 (diff)
Merge bbaren's fix for bug 209.
Diffstat (limited to 'bin')
-rw-r--r--bin/.dir0
1 files changed, 0 insertions, 0 deletions
diff --git a/bin/.dir b/bin/.dir
deleted file mode 100644
index e69de29b..00000000
--- a/bin/.dir
+++ /dev/null