]> matita.cs.unibo.it Git - helm.git/commitdiff
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Mar 2009 12:29:28 +0000 (12:29 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 26 Mar 2009 12:29:28 +0000 (12:29 +0000)
helm/software/configure.ac

index 06ebc0f3e7aa6654715e64ced4063351f8bd07be..8e0335d9eb4a993989f01f6ba33e4ce89cfc4416 100644 (file)
@@ -84,6 +84,7 @@ helm-acic_procedural \
 helm-content_pres \
 helm-hgdome \
 helm-tactics \
+helm-ng_tactics \
 helm-cic_exportation \
 "
 FINDLIB_CREQUIRES=" \