1 files changed, 0 insertions, 17 deletions
diff --git a/config/sequent b/config/sequent
deleted file mode 100644
index 0b340110..00000000
--- a/config/sequent
+++ /dev/null
@@ -1,17 +0,0 @@
-For generic 4.3 BSD machine.
-SIGTYPE	int 
-HAVE_UNDERSCORE_SETJMP	1 
-MEMCMP_MISSING	1 
-MEMCPY_MISSING	1 
-MEMSET_MISSING	1 
-STRCASE_MISSING	1 
-STRCHR_MISSING	1 
-STRERROR_MISSING	1 
-STRFTIME_MISSING	1 
-STRTOD_MISSING	1 
-STRTOL_MISSING	1 
-NON_STD_SPRINTF	1 
-VPRINTF_MISSING	1 
-BSDSTDIO		1 
-TZSET_MISSING	1
-FMOD_MISSING	1