]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8b15364) | patch
- Check for ocamlfind added.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Nov 2001 18:15:25 +0000 (18:15 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Tue, 13 Nov 2001 18:15:25 +0000 (18:15 +0000)
commita45419dbbc4e0deab323fe3ce9f1e1d71523745f
tree5c5889e1a8501723a418b1fab3d5129add2e4a73tree | snapshot
parent8b153648f7da53fcf96ef61f20239e73a9634146commit | diff
- Check for ocamlfind added.
- .cvsignore improved
helm/DEVEL/mlminidom/.cvsignore diff | blob | history
helm/DEVEL/mlminidom/configure.in diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.