]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 462bf82) | patch
- added some .mli and .ml to the debian package
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 31 Mar 2002 22:34:30 +0000 (22:34 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 31 Mar 2002 22:34:30 +0000 (22:34 +0000)
commit06d7ac063ac49f40d9e354989e7864011874d7db
tree3b5855532a7f5f1b9ea217bfe07277c1a5810b64tree | snapshot
parent462bf8280786d3a7a6a8cea14840ec734f0643f8commit | diff
- added some .mli and .ml to the debian package
- added depends on libgdome2-ocaml
helm/DEVEL/lablgtkmathview/Makefile.in diff | blob | history
helm/DEVEL/lablgtkmathview/debian/changelog diff | blob | history
helm/DEVEL/lablgtkmathview/debian/control diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.