editors/__init__.py
author janbarslo
Sun, 30 Jul 2017 13:54:51 -0700
changeset 1721 42f64435d740
parent 814 5743cbdff669
permissions -rw-r--r--
Changed title of new project dialog from:
Choose a project
to
Choose an empty directory for new project