mycroft d549b3e131 If you're going to have a list of file systems, it might as well be complete.

1993-11-28 08:48:42 +00:00

..

man0

…

man1

…

man3

…

man4

from Thomas Eberhardt <thomas@mathematik.uni-Bremen.de>:

1993-11-14 15:36:20 +00:00

man5

If you're going to have a list of file systems, it might as well be complete.

1993-11-28 08:48:42 +00:00

man7

…

man8

…

tools

…

Makefile

…

makewhatis.sed

…