]> matita.cs.unibo.it Git - helm.git/commit
bugfix, removed an hard coded instances of ocaml ABI version
authorStefano Zacchiroli <zack@upsilon.cc>
Sun, 8 Jan 2006 00:28:27 +0000 (00:28 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sun, 8 Jan 2006 00:28:27 +0000 (00:28 +0000)
commitabaf6d7686aa3afe2917ae428cbd796022e69d49
tree56facbd10cd66eebc55c9c14c5407987908a5931
parent6925f336ae1a85f358a63732fad5fc44a41fdede
bugfix, removed an hard coded instances of ocaml ABI version
helm/DEVEL/lablgtkmathview/debian/changelog
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install
helm/DEVEL/lablgtkmathview/debian/liblablgtkmathview-ocaml.install.in [new file with mode: 0644]