]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cfc1047) | patch
* added missing dependencies
authorLuca Padovani <luca.padovani@unito.it>
Thu, 13 Feb 2003 13:20:40 +0000 (13:20 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 13 Feb 2003 13:20:40 +0000 (13:20 +0000)
commitd8c267e189086278b039eaf0e39f4fa5d256facc
treecd19c950dde1cb56f398c9b3aa08f1195b212e86tree | snapshot
parentcfc1047eac928aafcb9152273c209920399c7cb0commit | diff
* added missing dependencies
helm/DEVEL/mathml_editor/ocaml/Makefile.am diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.