util/__init__.py
author laurent
Sun, 10 Jun 2012 20:18:34 +0200
changeset 764 f338651eca36
parent 742 41a4a560406c
permissions -rw-r--r--
Fix bug project not marked as modified when changing URI_Location using discovery dialog