hg
changeset 123 b93cc016eec9
parent 122 82fd709deb8e
child 124 0f6c49138f67
--- a/hg	Fri May 20 17:45:03 2005 -0800
+++ b/hg	Fri May 20 17:46:47 2005 -0800
@@ -295,7 +295,7 @@
         print "user:", changes[1]
         print "date:", time.asctime(
             time.localtime(float(changes[2].split(' ')[0])))
-        print "files:", " ".join(changes[3])
+        if ui.verbose: print "files:", " ".join(changes[3])
         print "description:"
         print changes[4]