]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/config.cache.pkg
tacticChaser modified to avoid double "apply" and to avoid to apply uris ".var" in...
[helm.git] / helm / helm_data / config.cache.pkg
1 # This is the config.cache that holds the ``standard'' path for the
2 # HELM library. It is supposed to be used when creating packages
3
4 helm_cv_HELM_DTDS_DIR=${helm_cv_HELM_DTDS_DIR='$RESOLVED_PREFIX/share/helm/dtd'}