From adbb83845c5d3cb02343d7613cfb8385aa909909 Mon Sep 17 00:00:00 2001
From: rsc <devnull@localhost>
Date: Tue, 18 Jan 2005 05:25:09 +0000
Subject: remove venti for now

---
 src/cmd/venti/stdinc.h | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 src/cmd/venti/stdinc.h

(limited to 'src/cmd/venti/stdinc.h')

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>
-
-- 
cgit v1.2.3