Contents of directory pub/minix/unsorted/dis88:

	dis88.1


	dis88.2


	dis88.fix.13



This file was automatically generated from file descriptions.