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 b47d7d5e63 The config filenames should be more clear (so GUI & Sources)

2014-06-21 00:46:38 +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

The config filenames should be more clear (so GUI & Sources)

2014-06-21 00:46:38 +02:00