/Makefile/1.2/Wed May  1 22:57:37 2013//Tnetbsd-10
/Makefile.inc/1.2/Wed May  1 22:57:37 2013//Tnetbsd-10
D/e32boot////
