blymn 03244f56bf Fix error in description of signature file syntax (thanks to Chrisian ... Biere) Fix wording to match changed syntax line Add some clarifications to the wording Improve vertical spacing of some sections.		2004-03-06 12:03:48 +00:00
..
Makefile	…
veriexecctl.8	Fix error in description of signature file syntax (thanks to Chrisian	2004-03-06 12:03:48 +00:00
veriexecctl.c	…
veriexecctl_conf.l	…
veriexecctl_parse.y	…