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 | 14 --------------
 1 file changed, 14 deletions(-)
 delete mode 100755 bin/filter

(limited to 'bin/filter')

diff --git a/bin/filter b/bin/filter
deleted file mode 100755
index 0038ba47..00000000
--- a/bin/filter
+++ /dev/null
@@ -1,14 +0,0 @@
-#!/usr/bin/env python
-import fileinput
-import sys
-
-for line in fileinput.input():
-    for ch in line:
-        och = ch
-        if ch == '#':
-            och = '_'
-        elif ch == '$':
-            och = "::"
-        sys.stdout.write(och)
-
-            
-- 
cgit v1.2.3