]> matita.cs.unibo.it Git - helm.git/commit
- Some .cvsignore were missing
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:50:21 +0000 (14:50 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Thu, 13 Mar 2003 14:50:21 +0000 (14:50 +0000)
commit7ab0c11985ab4caf44ef42e01c4eb0b5bde77913
tree459476c7ae2d27caf8219d9f4c30b25b134d6c7c
parent1c88d7da901c53b47c8a320e639c797665e737a8
- Some .cvsignore were missing
- Backtracking on the few glib2 dependencies
helm/DEVEL/mathml_editor/.cvsignore
helm/DEVEL/mathml_editor/ocaml/.cvsignore [new file with mode: 0644]
helm/DEVEL/mathml_editor/ocaml/.depend [new file with mode: 0644]
helm/DEVEL/mathml_editor/ocaml/Makefile.am