Images/PROPERTIES.png
author laurent
Mon, 14 Dec 2009 11:00:56 +0100
changeset 487 580b04db8c65
parent 184 d3e6484ebe85
permissions -rw-r--r--
Bug not refreshing FileMenu when saving fixed
(binary:image/png)