devtools/__init__.py
changeset 7380 5ad8b2f951ba
parent 7301 93e96700e0c0
child 7398 26695dd703d8
--- a/devtools/__init__.py	Fri May 13 10:42:04 2011 +0200
+++ b/devtools/__init__.py	Fri May 13 13:40:48 2011 +0200
@@ -212,9 +212,6 @@
     # web config methods needed here for cases when we use this config as a web
     # config
 
-    def instance_md5_version(self):
-        return ''
-
     def default_base_url(self):
         return BASE_URL