contrib/shrink-revlog.py
changeset 9712 18b134ef294c
parent 9515 f7d85980261c
child 10009 69dca8574a6a
child 10229 9df52218810d
--- a/contrib/shrink-revlog.py	Thu Nov 05 01:11:28 2009 +0100
+++ b/contrib/shrink-revlog.py	Thu Nov 05 10:44:36 2009 +0100
@@ -87,12 +87,12 @@
             count += 1
     finally:
         write('\n')
-    
+
 def report(olddatafn, newdatafn):
     oldsize = float(os.stat(olddatafn).st_size)
     newsize = float(os.stat(newdatafn).st_size)
 
-    # argh: have to pass an int to %d, because a float >= 2^32 
+    # argh: have to pass an int to %d, because a float >= 2^32
     # blows up under Python 2.5 or earlier
     sys.stdout.write('old file size: %12d bytes (%6.1f MiB)\n'
                      % (int(oldsize), oldsize/1024/1024))