change vtlognames

This commit is contained in:
rsc 2005-05-12 14:03:16 +00:00
parent ae0a96f796
commit 1c485dae43

View file

@ -73,7 +73,7 @@ void vtlogprint(VtLog *log, char *fmt, ...);
void vtlog(char *name, char *fmt, ...);
void vtlogclose(VtLog*);
void vtlogremove(char *name);
int vtlognames(char***);
char **vtlognames(int*);
void vtlogdump(int fd, VtLog*);
/* XXX begin actual venti.h */