elad 55e6bda6fa Fix some confusions; pointed out by wiz@, thanks!		2006-09-17 05:04:05 +00:00
..
Makefile
veriexecgen.8	Fix some confusions; pointed out by wiz@, thanks!	2006-09-17 05:04:05 +00:00
veriexecgen.c