/Header/1.1.1.3/Thu Oct 18 23:54:09 2018//Tnetbsd-10 /Localstuff/1.1.1.4/Wed May 24 23:59:57 2017//Tnetbsd-10 /Makefile.am/1.21/Sat Sep 24 20:21:46 2022//Tnetbsd-10 /Makefile.in/1.25/Sat Sep 24 20:33:30 2022//Tnetbsd-10 D/magdir//// D/scripts////