phk 88d6fa4d4a Second batch of cleanup changes. ... This time mostly making a lot of things static and some unused variables here and there.		1995-10-29 15:33:36 +00:00
..
vnode_if.awk	Second batch of cleanup changes.	1995-10-29 15:33:36 +00:00