Contents of directory pub/minix/old: 00Index bugfixes misc missing This file was automatically generated from file descriptions.