/Header/1.1.1.3/Thu Oct 18 23:54:09 2018//Tnetbsd-9 /Localstuff/1.1.1.4/Wed May 24 23:59:57 2017//Tnetbsd-9 /Makefile.am/1.17/Wed May 22 17:26:05 2019//Tnetbsd-9 /Makefile.in/1.20/Wed May 22 17:26:05 2019//Tnetbsd-9 D/magdir////