wiz b2801fe843 Sync usage with man page.		2006-12-23 09:16:38 +00:00
..
Makefile	Oops, forgot to remove -g.	2006-09-18 10:09:31 +00:00
veriexecgen.8	+ some minor cosmetic changes	2006-12-19 21:21:28 +00:00
veriexecgen.c	Sync usage with man page.	2006-12-23 09:16:38 +00:00