../ CVS/ 17-Dec-2022 23:35 - Makefile 24-Jul-2008 09:13 271 veriexecctl.8 04-Jul-2017 00:33 3637 veriexecctl.c 10-Jan-2017 23:48 7754 veriexecctl.h 07-Jun-2020 01:36 1822 veriexecctl_conf.l 24-May-2011 15:06 2763 veriexecctl_parse.y 16-Mar-2009 16:38 5565