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