]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/helena/src/text/Make
jet a change in dependences
[helm.git] / helm / software / helena / src / text / Make
index 3690bbaeb49b9f81a35f587d59b8986b126bd953..2cdbfd7927245c2a428fc6d1d33ced529bd02976 100644 (file)
@@ -1 +1 @@
-txt txtParser txtLexer txtTxt txtCrg
+txt txtParser txtLexer txtCrg