]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f4cdaa1) | patch
OCAMLPATH is no longer overrid if already set in current environment
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 May 2006 13:49:53 +0000 (13:49 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 29 May 2006 13:49:53 +0000 (13:49 +0000)
commit9cb555299fb3bb3c810f20c8cd2e1ebd54f9f3f7
tree5c594d3ce2bf6b47afa0c1d5582500c36e884e07tree | snapshot
parentf4cdaa1a48ac6f4fbef567b8a8ddf3fcfc97a3cdcommit | diff
OCAMLPATH is no longer overrid if already set in current environment
helm/software/Makefile.defs.in diff | blob | history
helm/software/daemons/http_getter/Makefile diff | blob | history
helm/software/daemons/proofChecker/Makefile diff | blob | history
helm/software/daemons/rdfly/Makefile diff | blob | history
helm/software/daemons/uwobo/Makefile diff | blob | history
helm/software/daemons/whelp/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.