]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47b0c2c) | patch
* disable-shared doens't bother ocaml
authorLuca Padovani <luca.padovani@unito.it>
Thu, 13 Mar 2003 10:44:35 +0000 (10:44 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 13 Mar 2003 10:44:35 +0000 (10:44 +0000)
commit6443fd5b20956aa4eb9df73e4bc56824be0bef4b
treeff5ef5c7aa372362aa62f6eb0737eb7547a66591tree | snapshot
parent47b0c2c1b421b62302b1957954912b4c0dfba9facommit | diff
* disable-shared doens't bother ocaml
helm/DEVEL/mathml_editor/LICENSE diff | blob | history
helm/DEVEL/mathml_editor/configure.ac diff | blob | history
helm/DEVEL/mathml_editor/ocaml/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.