1 files changed, 0 insertions, 9 deletions
diff --git a/Source/scripts/deleteline b/Source/scripts/deleteline
deleted file mode 100755
index 9f529dccc..000000000
--- a/Source/scripts/deleteline
+++ /dev/null
@@ -1,9 +0,0 @@
-#!/bin/bash
-
-FILES=`find . -name '*.[ch]'`
-for FILE in $FILES
-do
-	TMP=${FILE}_tmp
-	sed "/$1/d" < $FILE > $TMP
-	mv $TMP $FILE
-done