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