Remove bin (#991)

1 files changed, 0 insertions, 15 deletions

diff --git a/bin/filter.cpp b/bin/filter.cpp
deleted file mode 100644
index 1da9440b..00000000
--- a/bin/filter.cpp
+++ /dev/null
@@ -1,15 +0,0 @@
-#include <stdio.h>
-
-int main (int argc, char* argv[]) {
-  int c;
-  for (;;) {
-    c = getchar();
-    if (c == EOF) break;
-    if (c == '#' || c == '?')
-      putchar('_');
-    else if (c == '$') {
-      putchar(':'); putchar(':');
-    } else
-      putchar(c);
-  } 
-}