Contents of directory pub/minix/unsorted/de:

	de.1


	de.2


	de.3


	de.4


	de.5



This file was automatically generated from file descriptions.