diff --git a/Tools/scripts/crlf.py b/Tools/scripts/crlf.py
new file mode 100755
index 0000000..3f843fe
--- /dev/null
+++ b/Tools/scripts/crlf.py
@@ -0,0 +1,19 @@
+#! /usr/bin/env python
+
+"Replace CRLF with LF in argument files.  Print names of changed files."
+
+import sys, regsub, os
+for file in sys.argv[1:]:
+    if os.path.isdir(file):
+        print file, "Directory!"
+        continue
+    data = open(file, "rb").read()
+    if '\0' in data:
+        print file, "Binary!"
+        continue
+    newdata = regsub.gsub("\r\n", "\n", data)
+    if newdata != data:
+        print file
+        f = open(file, "wb")
+        f.write(newdata)
+        f.close()