diff options
Diffstat (limited to 'config.h.pre')
| -rw-r--r-- | config.h.pre | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/config.h.pre b/config.h.pre deleted file mode 100644 index 1c3940de..00000000 --- a/config.h.pre +++ /dev/null @@ -1,9 +0,0 @@ -#ifndef MANDOC_CONFIG_H -#define MANDOC_CONFIG_H - -#if defined(__linux__) || defined(__MINT__) -# define _GNU_SOURCE /* getsubopt(), strcasestr(), strptime() */ -#endif - -#include <sys/types.h> -#include <stdio.h> |