]> matita.cs.unibo.it Git - helm.git/commit
changed the way environment variable can interfere with the registry.
authorEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:07:24 +0000 (14:07 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Wed, 23 May 2007 14:07:24 +0000 (14:07 +0000)
commit9da16ebf1736b345ef6f3c4d9e0c107ed049ba4e
tree844fe2b0f5acfa43abe76a34630c25b3dcacf5f2
parentaeb75cae8119fb93fa3561278f7eea3d59727bdb
changed the way environment variable can interfere with the registry.
helm/software/components/registry/helm_registry.ml