wiz f309f02fd0 Bump date for previous; use more markup.		2005-08-07 11:17:31 +00:00
..
Makefile
veriexecctl_conf.l
veriexecctl_parse.y	Add and document some convenience aliases for commonly required option	2005-08-06 09:00:20 +00:00
veriexecctl.8	Bump date for previous; use more markup.	2005-08-07 11:17:31 +00:00
veriexecctl.c
veriexecctl.h