]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: aa4474a) | patch
Quick & dirty patch to overcome a bug of ocamlfind.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 18:27:37 +0000 (18:27 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Fri, 5 Mar 2004 18:27:37 +0000 (18:27 +0000)
commit3a9b60b1a057fcd2634a147ca2dcb0cb286dccfa
tree29e09df6f65cc3160637e2eab0f535fa09ff01c0tree | snapshot
parentaa4474a3b23b71b8a6e0d36f0daa0e90b3ffed66commit | diff
Quick & dirty patch to overcome a bug of ocamlfind.
helm/gTopLevel/Makefile diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.