diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2018-01-19T13·58+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2018-01-19T14·00+0100 |
commit | 89a2a11d9f39f60097619212d3fed9ab8c216c8b (patch) | |
tree | f894c74e2806c23c30c4f076ac4875ef0ad0d611 /scripts | |
parent | 3c4c30eadd879f512ac2075a7ba39c37ff77bf5c (diff) |
Don't use [[noreturn]]
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions