diff options
Diffstat (limited to 'gnu')
| -rw-r--r-- | gnu/types.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/gnu/types.h b/gnu/types.h deleted file mode 100644 index 0d1fb31d06..0000000000 --- a/gnu/types.h +++ /dev/null @@ -1 +0,0 @@ -#include <posix/gnu/types.h> |