]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: fb153b0) | patch
- added environment variable overriding
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Feb 2004 17:03:56 +0000 (17:03 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 9 Feb 2004 17:03:56 +0000 (17:03 +0000)
commit958c4635b38a209392ee7d7fc3d2e07ed3d7e5d3
treebeffae139414ec5ecd64331e855bb2078e8269b0tree | snapshot
parentfb153b0a3853478410bfbcad98065f1b1610d17dcommit | diff
- added environment variable overriding
- XML syntax for configuration file
helm/ocaml/registry/.ocamlinit [new file with mode: 0644] blob
helm/ocaml/registry/Makefile diff | blob | history
helm/ocaml/registry/helm_registry.ml diff | blob | history
helm/ocaml/registry/helm_registry.mli diff | blob | history
helm/ocaml/registry/tests/sample.conf diff | blob | history
helm/ocaml/registry/tests/sample.xml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.