]> matita.cs.unibo.it Git - helm.git/commit
* added depndencies to stdc++ library
authorLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 13:17:05 +0000 (13:17 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 2 Apr 2003 13:17:05 +0000 (13:17 +0000)
commit2e6967711a0656d59f127104a4ec68ebe8043f87
tree1d38f9f5720ab5f2162a7460967bf4cbf82747ae
parentb833f28638c2b0c1fd91198950e439a6ac6f9a97
* added depndencies to stdc++ library
helm/DEVEL/mathml_editor/ocaml/Makefile.am
helm/DEVEL/mathml_editor/src/Makefile.am