diff options
Diffstat (limited to 'src/cmd/venti/xml.h')
| -rw-r--r-- | src/cmd/venti/xml.h | 11 |
1 files changed, 0 insertions, 11 deletions
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); |