diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2021-03-27 10:55:37 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2021-03-27 10:55:37 +0200 |
commit | d9117ec3a851daeccb10f3529fc13c26a40e9ac3 (patch) | |
tree | 4c53b8bc7d5e2d2cdefcb340cee0d79c79dca8e3 /doc/a4.html2ps | |
parent | bf36936a5f96a517871c3d3befef89fd59181b2f (diff) |
Abort instead of suspending timed-out interactive builds
Diffstat (limited to 'doc/a4.html2ps')
0 files changed, 0 insertions, 0 deletions