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