web/propertysheet.py
changeset 10899 e0abfc3b4a10
parent 10897 7c386161ebd6
child 11434 f6ba947c11ee
--- a/web/propertysheet.py	Fri Sep 18 11:05:47 2015 +0200
+++ b/web/propertysheet.py	Fri Sep 18 11:12:03 2015 +0200
@@ -53,7 +53,6 @@
         self.clear()
         self._ordered_propfiles = []
         self._propfile_mtime = {}
-        self._sourcefile_mtime = {}
 
     def load(self, fpath):
         scriptglobals = self.context.copy()