diff options
author | Jesse van Assen <jesse.v.assen@gmail.com> | 2013-09-27 11:58:44 +0200 |
---|---|---|
committer | Jesse van Assen <jesse.v.assen@gmail.com> | 2013-09-27 11:58:44 +0200 |
commit | cf60fa7ac654a15e00888eef469838ef4bf47204 (patch) | |
tree | aa9d4a377210d441e1dc28bc5e8257918df5bc88 /user_guide_src/source/changelog.rst | |
parent | 7eb116a33937ec32bb30208561a27b8f0c26f496 (diff) |
Script is killed with the proper exit code.
Diffstat (limited to 'user_guide_src/source/changelog.rst')
0 files changed, 0 insertions, 0 deletions