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 d0d0f9f72d GUI as the default command without arguments

2014-06-17 22:11:22 +02:00

..

__init__.py

A number of tiny changes

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

gui.cfg.sample

This config file is just a sample

2014-06-17 21:42:40 +02:00

gui.py

GUI as the default command without arguments

2014-06-17 22:11:22 +02:00