devtools/__init__.py
changeset 5048 bf8a53a11b6d
parent 5021 58e89f3dfbae
parent 5043 fe52dd3936cf
child 5177 395e1ff018ae
--- a/devtools/__init__.py	Fri Mar 26 16:15:16 2010 +0100
+++ b/devtools/__init__.py	Fri Mar 26 16:15:41 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',