diff options
| author | MaZderMind <git@mazdermind.de> | 2016-08-28 14:45:26 +0200 |
|---|---|---|
| committer | MaZderMind <git@mazdermind.de> | 2016-08-28 14:45:26 +0200 |
| commit | 94093e6e1bf52c324d6c6141996922d35e9edfdf (patch) | |
| tree | aad04f0af7a2bfa0c22b0884889f242ffe3c3085 /voctogui/lib/ui.py | |
| parent | b19de71e988150d84d5f8c71c5d9981840ecdad5 (diff) | |
accept exit as an alias to quit on the contro-server, fixes #95
Diffstat (limited to 'voctogui/lib/ui.py')
0 files changed, 0 insertions, 0 deletions