diff options
author | David Kalnischkies <kalnischkies@gmail.com> | 2011-11-30 16:37:09 +0100 |
---|---|---|
committer | David Kalnischkies <kalnischkies@gmail.com> | 2011-11-30 16:37:09 +0100 |
commit | a7e052eae64486a31595bc9b3f4a1c02c13256e3 (patch) | |
tree | 82222fd4bd606f69f5e62467182e849e50491212 /doc/files.sgml | |
parent | 257e8d668c044fb0e9ad8e4b53afd32e07404831 (diff) |
ensure that we exit instead of proceed in execution after the trap
(the execution leads to hard failures anyway)
Diffstat (limited to 'doc/files.sgml')
0 files changed, 0 insertions, 0 deletions