diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-10-10 18:08:19 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-10-13 17:56:15 +0200 |
| commit | 9be362ab7efc6ad27a678e00f9b0b35a24993aa1 (patch) | |
| tree | 782e75d1a7d275ca7f0f2d0eb44a94a076b522d9 /console-client/timer.c | |
| parent | 695e5d209ade018afea1b2d2f9e042e9c78028ae (diff) | |
console-client: entitle console_exit with the noreturn attribute
* console-client/input.h (console_exit): Add noreturn attribute.
Diffstat (limited to 'console-client/timer.c')
0 files changed, 0 insertions, 0 deletions