From aa2c7727b1ee7b3747681f6b78f9ef0d36beb749 Mon Sep 17 00:00:00 2001
From: Jakob Kaivo <jkk@ung.org>
Date: Sat, 2 Feb 2019 13:12:59 -0500
Subject: trim old nonstd

---
 nonstd/public/setjmp.h | 7 -------
 1 file changed, 7 deletions(-)
 delete mode 100644 nonstd/public/setjmp.h

(limited to 'nonstd/public/setjmp.h')

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;
-}
-- 
cgit v1.2.1