/config.h/1.2/Tue Oct  1 16:56:51 2013//Tnetbsd-7-2-RELEASE
/defs.mk/1.1/Fri Jul 19 22:14:23 2013//Tnetbsd-7-2-RELEASE
D
