devtools/__init__.py
branchstable
changeset 5043 fe52dd3936cf
parent 4913 083b4d454192
child 5048 bf8a53a11b6d
child 5166 1e96d01728c4
--- a/devtools/__init__.py	Fri Mar 26 14:13:34 2010 +0100
+++ b/devtools/__init__.py	Fri Mar 26 15:53:07 2010 +0100
@@ -81,7 +81,6 @@
     mode = 'test'
     set_language = False
     read_instance_schema = False
-    bootstrap_schema = False
     init_repository = True
     options = cwconfig.merge_options(ServerConfiguration.options + (
         ('anonymous-user',