diff options
| author | Rangi <remy.oukaour+rangi42@gmail.com> | 2022-03-15 17:35:35 -0400 |
|---|---|---|
| committer | Rangi <remy.oukaour+rangi42@gmail.com> | 2022-03-15 17:35:35 -0400 |
| commit | 9aac39bebc6fbb1f7442e9efadf88e2bfcd13a01 (patch) | |
| tree | 689362f2c5322d620781e0a9304bbc0762956f4f /tools/make_patch.c | |
| parent | 1ba73f225c0aac97cb35fbf7f2c191e5396f3a4f (diff) | |
Use noreturn for usage_exit
Diffstat (limited to 'tools/make_patch.c')
0 files changed, 0 insertions, 0 deletions