From 0f8489fe28ce610fb6b4ebd11e4802acf3148553 Mon Sep 17 00:00:00 2001 From: ceriel Date: Fri, 14 Oct 1988 16:47:39 +0000 Subject: [PATCH] Added .distr --- modules/src/em_opt/.distr | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 modules/src/em_opt/.distr 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