diff options
| author | Matthias P. Braendli <matthias.braendli@mpb.li> | 2020-04-06 09:18:39 +0200 |
|---|---|---|
| committer | Matthias P. Braendli <matthias.braendli@mpb.li> | 2020-04-06 09:18:39 +0200 |
| commit | e0270f1c958874335624dd2fe69a383b5959d602 (patch) | |
| tree | 0312ce4d46ac67e46ffeb27e776b9ef6fba4b4f1 /doc/example.ini | |
| parent | 5e8f2ac0601eadda48018bb7aab35e76c7b85652 (diff) | |
| download | dabmod-e0270f1c958874335624dd2fe69a383b5959d602.tar.gz dabmod-e0270f1c958874335624dd2fe69a383b5959d602.tar.bz2 dabmod-e0270f1c958874335624dd2fe69a383b5959d602.zip | |
Fix quit on Ctrl-C
Diffstat (limited to 'doc/example.ini')
0 files changed, 0 insertions, 0 deletions