Peter Wemm 70439d2750 Fix warning: 568: warning: `portal_badop' defined but not used		2001-06-15 00:38:03 +00:00
..
portal_vfsops.c	Actually rename FDESC, PORTAL, UMAP and UNION file systems.	2001-05-24 15:20:11 +00:00
portal_vnops.c	Fix warning: 568: warning: `portal_badop' defined but not used	2001-06-15 00:38:03 +00:00
portal.h