# HG changeset patch
# User mpm@selenic.com
# Date 1116640007 28800
# Node ID b93cc016eec9c711995b135ae38b9dd670a3238a
# Parent  82fd709deb8e9a11cc5bdc530708a2f6b153feca
hg history: don't print file list without -v switch



diff -r 82fd709deb8e -r b93cc016eec9 hg
--- 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]