diff options
| author | Tobias Klauser <tklauser@distanz.ch> | 2013-05-17 11:13:44 +0200 |
|---|---|---|
| committer | Tobias Klauser <tklauser@distanz.ch> | 2013-05-17 11:13:44 +0200 |
| commit | 82799b033807977478d7848d55264f6f3132a5eb (patch) | |
| tree | 7b83a636715484c39c2c8f7e137845e0a23fda78 /.gitignore | |
| parent | ac31518c8c8af043d157b294d99177b86f0bccd7 (diff) | |
built_in: Add __noreturn marker
This can be used to mark functions which will call exit() by themselves.
Signed-off-by: Tobias Klauser <tklauser@distanz.ch>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions