/Makefile/1.4.2.5/Sun Jul 10 15:33:32 2005//Tnetbsd-3-0-RELEASE
/veriexecctl.8/1.7.2.10/Mon Aug 15 12:42:44 2005//Tnetbsd-3-0-RELEASE
/veriexecctl.c/1.5.6.11/Sat Jul  2 15:46:26 2005//Tnetbsd-3-0-RELEASE
/veriexecctl.h/1.4.2.4/Fri Jun 10 15:13:58 2005//Tnetbsd-3-0-RELEASE
/veriexecctl_conf.l/1.2.2.4/Sat Jul  2 15:46:19 2005//Tnetbsd-3-0-RELEASE
/veriexecctl_parse.y/1.4.2.8/Mon Aug 15 12:41:22 2005//Tnetbsd-3-0-RELEASE
D
