diff --git a/modules/src/em_opt/.distr b/modules/src/em_opt/.distr new file mode 100644 index 000000000..45c0db047 --- /dev/null +++ b/modules/src/em_opt/.distr @@ -0,0 +1,18 @@ +Makefile +aux.c +em_nopt.6 +em_opt.3 +findworst.c +initlex.c +main.c +makefuns.awk +mkstrct.c +nopt.c +nopt.h +outcalls.c +outputdfa.c +parser.g +parser.h +patterns +pseudo.r +syntax.l