diff options
| author | MaZderMind <git@mazdermind.de> | 2015-11-15 19:18:28 +0100 |
|---|---|---|
| committer | MaZderMind <git@mazdermind.de> | 2015-11-15 19:18:28 +0100 |
| commit | 96d9712579f49d57106ab1462e9571cfc53d222e (patch) | |
| tree | 30f9b8a0ef838a165143321ff7e95667d1a5caff /voctogui/default-config.ini | |
| parent | 7061df44a9f2291c9a9147dea6878bbc1bd424d8 (diff) | |
avoid re-reansmitting the same state again, fixes #20
Diffstat (limited to 'voctogui/default-config.ini')
0 files changed, 0 insertions, 0 deletions