diff options
| author | Christian Grothoff <christian@grothoff.org> | 2021-01-06 10:16:58 +0100 |
|---|---|---|
| committer | Christian Grothoff <christian@grothoff.org> | 2021-01-06 10:16:58 +0100 |
| commit | dc570d0c06cea200378d8b1030242081ebc4e356 (patch) | |
| tree | fe8e108289df7441bc588cdb57837113a522d8af /doc/paper/offline.tex | |
| parent | adb48b61630a2d3ca0c0d67d564870ef39586eea (diff) | |
better error handling on configuration failures
Diffstat (limited to 'doc/paper/offline.tex')
0 files changed, 0 insertions, 0 deletions