../ CVS/ 31-Jul-2025 03:48 - Makefile 24-Jul-2008 06:13 271 veriexecctl.8 13-Aug-2017 11:00 3637 veriexecctl.c 13-Aug-2017 11:00 7754 veriexecctl.h 31-Jul-2025 03:48 1822 veriexecctl_conf.l 24-May-2011 12:06 2763 veriexecctl_parse.y 16-Mar-2009 13:38 5565