diff options
| author | dzwdz | 2021-07-26 16:40:35 +0200 |
|---|---|---|
| committer | dzwdz | 2021-07-26 16:40:35 +0200 |
| commit | bfe381768bf9fde9595a7fdacfb8037458fc0f6a (patch) | |
| tree | a85952aac5fc56b53c31968eaa8d9c43c7f9b4a1 /readme.md | |
| parent | 875083ce040a42fa981e46fa9d532ebfe52fb2f4 (diff) | |
mark sc_exit() as noreturn
gets rid of the double panic() call
Diffstat (limited to 'readme.md')
0 files changed, 0 insertions, 0 deletions