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/xml.h | 11 -----------
 1 file changed, 11 deletions(-)
 delete mode 100644 src/cmd/venti/xml.h

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

diff --git a/src/cmd/venti/xml.h b/src/cmd/venti/xml.h
deleted file mode 100644
index c9e52b0b..00000000
--- a/src/cmd/venti/xml.h
+++ /dev/null
@@ -1,11 +0,0 @@
-void	xmlamap(Hio *hout, AMap *v, char *tag, int indent);
-void	xmlarena(Hio *hout, Arena *v, char *tag, int indent);
-void	xmlindex(Hio *hout, Index *v, char *tag, int indent);
-
-void	xmlaname(Hio *hout, char *v, char *tag);
-void	xmlscore(Hio *hout, u8int *v, char *tag);
-void	xmlsealed(Hio *hout, int v, char *tag);
-void	xmlu32int(Hio *hout, u32int v, char *tag);
-void	xmlu64int(Hio *hout, u64int v, char *tag);
-
-void	xmlindent(Hio *hout, int indent);
-- 
cgit v1.2.3