diff options
Diffstat (limited to 'config/gnu')
| -rw-r--r-- | config/gnu | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/config/gnu b/config/gnu deleted file mode 100644 index 93f0465d..00000000 --- a/config/gnu +++ /dev/null @@ -1,6 +0,0 @@ -For the GNU operating system. - -SIGTYPE void -HAVE_UNDERSCORE_SETJMP 1 -STDC_HEADERS 1 -GETPGRP_NOARG 1 |