Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/website/build/pypager.py
changeset 17686 8c700928401c
parent 16619 94e3d94b426d
child 17751 2cc8429943f2 
--- a/Admin/website/build/pypager.py	Tue Sep 27 20:43:39 2005 +0200
+++ b/Admin/website/build/pypager.py	Wed Sep 28 08:57:19 2005 +0200
@@ -151,7 +151,7 @@
         handler.endElement(u"a")
         handler.endElement(u"td")
         handler.startElement(u"td", {})
-        handler.characters(u"%i%sKB" % (size / 1024, unichr(160)))
+        handler.characters(u"%.1f%sMB" % (size / (1024.0 * 1024), unichr(160)))
         handler.endElement(u"td")
 
     def mirror(self, handler, prefix, title, stripprefix = u""):
isabelle