Added .distr
authorceriel <none@none>
Fri, 14 Oct 1988 16:47:39 +0000 (16:47 +0000)
committerceriel <none@none>
Fri, 14 Oct 1988 16:47:39 +0000 (16:47 +0000)
modules/src/em_opt/.distr [new file with mode: 0644]

diff --git a/modules/src/em_opt/.distr b/modules/src/em_opt/.distr
new file mode 100644 (file)
index 0000000..45c0db0
--- /dev/null
@@ -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