Joerg Wunsch cbe4630780 Fix the reproto.sh script that was broken after my KNFification. ...

Pointed out by: bde

1996-04-07 01:15:03 +00:00

..

deadfs

…

devfs

Fix the reproto.sh script that was broken after my KNFification.

1996-04-07 01:15:03 +00:00

fdesc

…

fifofs

…

kernfs

…

nullfs

…

portal

…

procfs

…

specfs

Fix the problem that unmounting filesystems that are backed by a VMIO

1996-03-19 05:13:22 +00:00

umapfs

…

union

…