]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfa6144) | patch
* fix so that ocamlmklib works
authorLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 18:47:50 +0000 (18:47 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Sat, 21 Feb 2004 18:47:50 +0000 (18:47 +0000)
commitde7b7072038c6cf8f38758164287a72c04ca01cf
tree16442e962925c132210b39d37492062ddb8588f9tree | snapshot
parentcfa6144c9a6c2472d0d0aedf3403c29c635c316dcommit | diff
* fix so that ocamlmklib works
helm/DEVEL/mathml_editor/ocaml/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.