server/serverconfig.py
changeset 10238 725005e8346d
parent 10236 ef3059a692cb
child 10301 729f36a1bcfa
--- a/server/serverconfig.py	Fri Mar 13 14:12:03 2015 +0100
+++ b/server/serverconfig.py	Fri Mar 13 15:30:01 2015 +0100
@@ -345,6 +345,3 @@
         return ServerMigrationHelper(self, schema, interactive=interactive,
                                      cnx=cnx, repo=repo, connect=connect,
                                      verbosity=verbosity)
-
-
-CONFIGURATIONS.append(ServerConfiguration)