diff -r c96d67251a9d -r e0abfc3b4a10 web/propertysheet.py
--- 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()