diff options
| author | Pjotr Prins | 2018-09-06 10:25:22 +0000 |
|---|---|---|
| committer | Pjotr Prins | 2018-09-06 10:25:22 +0000 |
| commit | 6dd15bfabc5c655d18ea19c0d69b76ecc34630e2 (patch) | |
| tree | 336c37cac9b105bec550405a11853277631c2810 /doc/example | |
| parent | 8010061e8af476d66a0ca6fb6d509b36acdb9b9a (diff) | |
| download | pangemma-6dd15bfabc5c655d18ea19c0d69b76ecc34630e2.tar.gz | |
More debugging info and raise SIGINT instead of exit
Diffstat (limited to 'doc/example')
0 files changed, 0 insertions, 0 deletions