ref: 250c01d40a813526ac7dd1ff04717f98cc3cd6a5
parent: 53286c097018f3e13c5511c1931370ade7a1c493
author: Werner Lemberg <wl@gnu.org>
date: Fri Jan 18 00:16:09 EST 2008
whitespace
--- a/src/tools/docmaker/sources.py
+++ b/src/tools/docmaker/sources.py
@@ -295,7 +295,7 @@
self.lines = []
for line in fileinput.input( filename ):
- # strip trailing newlines, important on Windows machines !!
+ # strip trailing newlines, important on Windows machines!
if line[-1] == '\012':
line = line[0:-1]