]>
matita.cs.unibo.it Git - helm.git/blobdiff - helm/software/configure.ac
helm-content_pres \
helm-hgdome \
helm-tactics \
helm-content_pres \
helm-hgdome \
helm-tactics \
helm-cic_exportation \
"
FINDLIB_CREQUIRES=" \
helm-cic_exportation \
"
FINDLIB_CREQUIRES=" \