/Makefile/1.14/Thu Jul 24 06:13:21 2008//Tnetbsd-6
/veriexecctl.8/1.37/Thu Apr 28 12:01:58 2011//Tnetbsd-6
/veriexecctl.c/1.35/Mon Aug 29 14:35:04 2011//Tnetbsd-6
/veriexecctl.h/1.11/Sun Aug 31 23:37:45 2008//Tnetbsd-6
/veriexecctl_conf.l/1.15/Tue May 24 12:06:25 2011//Tnetbsd-6
/veriexecctl_parse.y/1.26/Mon Mar 16 13:38:09 2009//Tnetbsd-6
D
