agc 221d869ea3 Minor cosmetic changes: ... 1. use EXIT_SUCCESS and EXIT_FAILURE, rather than 0 or 1, throughout 2. add some comments 3. use descriptive names for variables, so that their use is easily gleaned.		2006-12-04 21:22:40 +00:00
..
Makefile	Oops, forgot to remove -g.	2006-09-18 10:09:31 +00:00
veriexecgen.8	Normally, veriexecgen will treat an error such as a dangling symlink,	2006-12-04 07:06:56 +00:00
veriexecgen.c	Minor cosmetic changes:	2006-12-04 21:22:40 +00:00