elad b35a67141f Add /lib, /libexec, and /usr/libexec to -D. Update man page.		2006-09-23 19:08:48 +00:00
..
Makefile	Oops, forgot to remove -g.	2006-09-18 10:09:31 +00:00
veriexecgen.8	Add /lib, /libexec, and /usr/libexec to -D. Update man page.	2006-09-23 19:08:48 +00:00
veriexecgen.c	Add /lib, /libexec, and /usr/libexec to -D. Update man page.	2006-09-23 19:08:48 +00:00