1 files changed, 0 insertions, 13 deletions
diff --git a/quoteinitializer b/quoteinitializer
deleted file mode 100755
index 6d4716d..0000000
--- a/quoteinitializer
+++ /dev/null
@@ -1,13 +0,0 @@
-#!/usr/bin/gawk -f
-
-BEGIN\
-{
-    print "// Do not edit this file (edit \""ARGV[1]"\", and run \"make\").\n"
-    if (ARGC > 2) { print ARGV[2]; ARGC = 2 }
-}
-
-{
-    gsub("\\\\", "\\\\");
-    gsub("\\\"", "\\\"");
-    print "\""$0"\\n\""
-}