ceriel 9178cb9851 corrected error: name is now xenix3		1988-07-12 16:46:39 +00:00
..
.distr
descr	corrected error: name is now xenix3	1988-07-12 16:46:39 +00:00