script to remove whitespace at the end of a line

diff --git a/contrib/removetrailingwhitespace b/contrib/removetrailingwhitespace
new file mode 100755 (executable)
index 0000000..9e620cb
--- /dev/null
+++ b/contrib/removetrailingwhitespace
@@ -0,0 +1,14 @@
+#!/usr/bin/python
+
+import sys
+import re
+
+for fileName in sys.argv[1:]:
+   f = open(fileName, 'r+')
+   fileString = f.read()
+
+   fileString = re.sub(r'[ ]+\n', r'\n', fileString)
+   fileString = re.sub(r'\r', r'', fileString)
+   f.seek(0)
+   f.write(fileString)
+   f.truncate(len(fileString))