diff options
| author | Jakob Kaivo <jkk@ung.org> | 2019-02-02 13:12:59 -0500 |
|---|---|---|
| committer | Jakob Kaivo <jkk@ung.org> | 2019-02-02 13:12:59 -0500 |
| commit | aa2c7727b1ee7b3747681f6b78f9ef0d36beb749 (patch) | |
| tree | 2d637999ffbf3661fa5ef2e6e93bf40bff13672f /nonstd/public/setjmp.h | |
| parent | a4bd7a9c848d024ecb9c2bd9af0facaec728ba30 (diff) | |
trim old nonstd
Diffstat (limited to 'nonstd/public/setjmp.h')
| -rw-r--r-- | nonstd/public/setjmp.h | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/nonstd/public/setjmp.h b/nonstd/public/setjmp.h deleted file mode 100644 index fb510bdc..00000000 --- a/nonstd/public/setjmp.h +++ /dev/null @@ -1,7 +0,0 @@ -#include <setjmp.h> - -int __setjmp(jmp_buf env) -{ - (void)env; - return 0; -} |