mercurial/ui.py
changeset 3644 b7547efe78fb
parent 3557 f7dee427cd14
child 3646 069f3acdad6c
--- a/mercurial/ui.py	Mon Nov 13 13:26:57 2006 -0600
+++ b/mercurial/ui.py	Mon Nov 13 13:26:57 2006 -0600
@@ -370,10 +370,6 @@
         for a in args:
             sys.stdout.write(str(a))
 
-    def write_header(self, *args):
-        for a in args:
-            self.header.append(str(a))
-
     def write_err(self, *args):
         try:
             if not sys.stdout.closed: sys.stdout.flush()