Make reindent.py happy (convert everything to 4-space indents!).

This commit is contained in:
Fred Drake 2000-10-23 17:22:08 +00:00
parent 2e6d25c5bb
commit 004d5e6880
70 changed files with 1215 additions and 1247 deletions

View file

@ -1,4 +1,3 @@
import sys, os
import gzip, tempfile
@ -38,7 +37,7 @@ while 1:
line_length = (line_length + 1) % 50
f.close()
# Try .readlines()
# Try .readlines()
f = gzip.GzipFile(filename, 'rb')
L = f.readlines()
@ -47,7 +46,7 @@ f.close()
f = gzip.GzipFile(filename, 'rb')
while 1:
L = f.readlines(150)
if L == []: break
if L == []: break
f.close()