This repository has been archived on 2025-03-03. You can view files and clone it, but cannot push or open issues or pull requests.

Jip J. Dekker 17ce11e530 Create the GUI configuration if not yet existent

2014-06-21 00:59:54 +02:00

..

__init__.py

A number of tiny changes

2014-06-11 15:12:33 +02:00

configImporter.py

GUI_Options -> GUI

2014-06-18 09:58:22 +02:00

gui.py

Create the GUI configuration if not yet existent

2014-06-21 00:59:54 +02:00