diff options
| author | gumi <git@gumi.ca> | 2020-07-06 16:36:15 +0000 |
|---|---|---|
| committer | gumi <git@gumi.ca> | 2020-07-06 16:55:39 +0000 |
| commit | 594eafd4f231a897cbefdd3dd9e74bb3794f9b95 (patch) | |
| tree | a1f806051c9aaefb80c1787d9683fc6998dec361 /tools/maybe-replace | |
| parent | ad2fdab675ea698355f843ffe2efd5d311ddbfcb (diff) | |
| download | tmwa-594eafd4f231a897cbefdd3dd9e74bb3794f9b95.tar.gz tmwa-594eafd4f231a897cbefdd3dd9e74bb3794f9b95.tar.bz2 tmwa-594eafd4f231a897cbefdd3dd9e74bb3794f9b95.tar.xz tmwa-594eafd4f231a897cbefdd3dd9e74bb3794f9b95.zip | |
abort script execution when encountering a null pointer
Diffstat (limited to 'tools/maybe-replace')
0 files changed, 0 insertions, 0 deletions