From 3b3405e8bd496749dcb47e17156c0224a6f8a496 Mon Sep 17 00:00:00 2001
From: Richard Lin
Date: Fri, 18 Jan 2019 16:23:27 -0800
Subject: Remove bin (#991)

---
 bin/filter.cpp | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 bin/filter.cpp

(limited to 'bin/filter.cpp')

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);
-  } 
-}
-- 
cgit v1.2.3