diff options
Diffstat (limited to 'src/cmd/venti/stdinc.h')
| -rw-r--r-- | src/cmd/venti/stdinc.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/cmd/venti/stdinc.h b/src/cmd/venti/stdinc.h deleted file mode 100644 index 6f8f5ba5..00000000 --- a/src/cmd/venti/stdinc.h +++ /dev/null @@ -1,6 +0,0 @@ -#include <u.h> -#include <libc.h> -#include <venti.h> -#include <libsec.h> -#include <thread.h> - |