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