]> matita.cs.unibo.it Git - helm.git/blob - helm/interface/config.cache.pkg
Main code clean-up.
[helm.git] / helm / interface / 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_DEFAULT_CONFIGURATION_DIR=${helm_cv_HELM_DEFAULT_CONFIGURATION_DIR='$RESOLVED_PREFIX/etc/helm'}