]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 62792f5) | patch
* the .o files to be used in the dll are now taken from the .libs subdirectoy
authorLuca Padovani <luca.padovani@unito.it>
Thu, 25 Mar 2004 11:40:41 +0000 (11:40 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 25 Mar 2004 11:40:41 +0000 (11:40 +0000)
commit02db2fb2a6999035676f86a56873282e92902f50
tree7b83dc05fe3cba976cb1ae3a956d01fbb9c9806etree | snapshot
parent62792f5bfe558e6ba0e52e4e51841f4bc02a960acommit | diff
* the .o files to be used in the dll are now taken from the .libs subdirectoy
  (which presumably contains the PIC code)
helm/DEVEL/mathml_editor/ocaml/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.