web/propertysheet.py
Tue, 19 Jul 2016 15:53:58 +0200 Sylvain Thénault [web] Fix bug with usage of os.rename under windows environment 3.22
Fri, 18 Sep 2015 11:12:03 +0200 Julien Cristau [web] delete unused PropertySheet._sourcefile_mtime
Mon, 23 Nov 2015 17:58:10 +0100 Julien Cristau [web] remove PropertySheet._cache
less more (0) -10 -3 tip