Whitespace normalization.
diff --git a/Tools/scripts/gencodec.py b/Tools/scripts/gencodec.py
index 39b42ff..bc70a32 100644
--- a/Tools/scripts/gencodec.py
+++ b/Tools/scripts/gencodec.py
@@ -180,14 +180,14 @@
def encode(self,input,errors='strict'):
return codecs.charmap_encode(input,errors,encoding_map)
-
+
def decode(self,input,errors='strict'):
return codecs.charmap_decode(input,errors,decoding_map)
class StreamWriter(Codec,codecs.StreamWriter):
pass
-
+
class StreamReader(Codec,codecs.StreamReader):
pass
@@ -210,7 +210,7 @@
else:
l.append("decoding_map = {")
splits = 0
-
+
mappings = map.items()
mappings.sort()
append = l.append
@@ -290,7 +290,7 @@
print '* conversion failed'
def rewritepythondir(dir,prefix='',comments=1):
-
+
mapnames = os.listdir(dir)
for mapname in mapnames:
if not mapname.endswith('.mapping'):