../ CVS/ 04-Jun-2017 08:20 - Makefile 24-Jul-2008 06:13 271 veriexecctl.8 18-Mar-2014 18:20 3654 veriexecctl.c 10-Jan-2017 20:48 7754 veriexecctl.h 31-Aug-2008 23:37 1877 veriexecctl_conf.l 24-May-2011 12:06 2763 veriexecctl_parse.y 16-Mar-2009 13:38 5565