]> matita.cs.unibo.it Git - helm.git/blob - helm/helm_data/config.cache.pkg
.cvsignore files removed (the svn:property property is used instead)
[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'}