--- a/hg
+++ b/hg
@@ -295,7 +295,7 @@ elif cmd == "history":
         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]