diff options
author | MaZderMind <git@mazdermind.de> | 2016-01-10 11:18:58 +0100 |
---|---|---|
committer | MaZderMind <git@mazdermind.de> | 2016-01-10 11:21:34 +0100 |
commit | fd5a9c94892e0a890b6e0702c745e50e48f16f23 (patch) | |
tree | 6045e0341ee31175e9da610239e2f4f17d83ea22 /voctogui/.gitignore | |
parent | c0fe1f098340d65706a49d64f166fa568bbbedb3 (diff) |
don't stop scheduling on_loop in case of an input error, #43
Diffstat (limited to 'voctogui/.gitignore')
0 files changed, 0 insertions, 0 deletions