1 files changed, 0 insertions, 23 deletions
diff --git a/Tools/scripts/crlf.py b/Tools/scripts/crlf.py
deleted file mode 100755
index f231d29..0000000
--- a/Tools/scripts/crlf.py
+++ /dev/null
@@ -1,23 +0,0 @@
-#! /usr/bin/env python3
-"Replace CRLF with LF in argument files.  Print names of changed files."
-
-import sys, os
-
-def main():
-    for filename in sys.argv[1:]:
-        if os.path.isdir(filename):
-            print(filename, "Directory!")
-            continue
-        with open(filename, "rb") as f:
-            data = f.read()
-        if b'\0' in data:
-            print(filename, "Binary!")
-            continue
-        newdata = data.replace(b"\r\n", b"\n")
-        if newdata != data:
-            print(filename)
-            with open(filename, "wb") as f:
-                f.write(newdata)
-
-if __name__ == '__main__':
-    main()