]> matita.cs.unibo.it Git - helm.git/commit
* fixed O_S variable for ocamlmklib on hppa arch
authorLuca Padovani <luca.padovani@unito.it>
Tue, 21 Oct 2003 12:50:37 +0000 (12:50 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Tue, 21 Oct 2003 12:50:37 +0000 (12:50 +0000)
commit789a37bedf2a8ce2a0b4389fb5c48a0a7b6572d6
tree1d0060050ece6c1d934a719eb06385813521d6b4
parent08db1550b751a5a1fde5a1e3df787f05c4c6110e
* fixed O_S variable for ocamlmklib on hppa arch
helm/DEVEL/mathml_editor/ocaml/Makefile.am