devtools/devctl.py
changeset 5442 3ed8afbbdf70
parent 5426 0d4853a6e5ee
child 5466 b5af2ac0c43c
--- a/devtools/devctl.py	Thu Apr 29 11:09:03 2010 +0200
+++ b/devtools/devctl.py	Thu Apr 29 14:21:57 2010 +0200
@@ -66,7 +66,7 @@
         return None
     def main_config_file(self):
         return None
-    def init_log(self, debug=None):
+    def init_log(self):
         pass
     def load_configuration(self):
         pass