]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e09daba) | patch
rely on correct settings of OCAMLPATH
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Feb 2003 13:55:27 +0000 (13:55 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 21 Feb 2003 13:55:27 +0000 (13:55 +0000)
commit908519e733293ea817c1cf5bb9b61770e594d463
tree6ff51622406d56eb6f4c67e29145f80f9e3a7db4tree | snapshot
parente09dabab5370f07e5dba36c059a5607d625dd061commit | diff
rely on correct settings of OCAMLPATH
helm/hbugs/broker/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.