diff options
| -rw-r--r-- | gnu/signal.h | 1 | ||||
| -rw-r--r-- | gnu/time.h | 1 | ||||
| -rw-r--r-- | gnu/wait.h | 1 | ||||
| -rw-r--r-- | queue.h | 1 |
4 files changed, 0 insertions, 4 deletions
diff --git a/gnu/signal.h b/gnu/signal.h deleted file mode 100644 index 3c1dfa2baf..0000000000 --- a/gnu/signal.h +++ /dev/null @@ -1 +0,0 @@ -#include <signal/gnu/signal.h> diff --git a/gnu/time.h b/gnu/time.h deleted file mode 100644 index 9f90588546..0000000000 --- a/gnu/time.h +++ /dev/null @@ -1 +0,0 @@ -#include <time/gnu/time.h> diff --git a/gnu/wait.h b/gnu/wait.h deleted file mode 100644 index a47b5e8754..0000000000 --- a/gnu/wait.h +++ /dev/null @@ -1 +0,0 @@ -#include <posix/gnu/wait.h> diff --git a/queue.h b/queue.h deleted file mode 100644 index c82dd5d020..0000000000 --- a/queue.h +++ /dev/null @@ -1 +0,0 @@ -#include <misc/queue.h> |