Be a little quieter.

diff --git a/src b/src
index 854b8f8af3dd22d1cd45dfb728c69aceafe828d5..f7d33cb069482cd6614507a92223152e23ecfcac 100755 (executable)
--- a/src
+++ b/src
@@ -126,7 +126,6 @@ def preamble(cmd, args):
         masters = os.listdir(".src")
         if len(masters) == 1:
             args.append(masters[0])
-    print "%s%s:" % (cmd, args)
 
 def commit_method(*args):
     "Commit changes to files."