diff options
| author | Marc André Tanner <mat@brain-dump.org> | 2018-01-24 20:25:05 +0100 |
|---|---|---|
| committer | Marc André Tanner <mat@brain-dump.org> | 2018-01-26 20:06:53 +0100 |
| commit | 30f13eb60e8e9a7333051709bda758f8ee442151 (patch) | |
| tree | b3785d8bb2f8e131fb359e888aab22bc8a00ddcd /doc | |
| parent | 45f5446d2a243811a2b02927e05e3993d09e7361 (diff) | |
| download | vis-30f13eb60e8e9a7333051709bda758f8ee442151.tar.gz vis-30f13eb60e8e9a7333051709bda758f8ee442151.tar.xz | |
build: abort configure scripts upon interrupts
Fix #607
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions