christos 2853bbf4b7 use %option instead of #define YY_NO_...		2009-10-29 14:49:02 +00:00
..
Makefile	…
veriexecctl.8	…
veriexecctl.c	…
veriexecctl.h	…
veriexecctl_conf.l	use %option instead of #define YY_NO_...	2009-10-29 14:49:02 +00:00
veriexecctl_parse.y	…