]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3bb982d) | patch
ready for 3.09.3 and ocaml.mk
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 Sep 2006 13:39:58 +0000 (13:39 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 17 Sep 2006 13:39:58 +0000 (13:39 +0000)
commit0ff796c4a1359151030de344863fcff6aa554c52
treefcbe0be57bd64168ddc8c3be6db898cf06b2249btree | snapshot
parent3bb982d6752ce29ce90f03052080f19b7a72bee7commit | diff
ready for 3.09.3 and ocaml.mk
DEVEL/lablgtkmathview/debian/changelog diff | blob | history
DEVEL/lablgtkmathview/debian/control diff | blob | history
DEVEL/lablgtkmathview/debian/rules diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.