]> matita.cs.unibo.it Git - helm.git/commit
remove spurious entry
authorStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:41:57 +0000 (09:41 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Sat, 8 Sep 2007 09:41:57 +0000 (09:41 +0000)
commit5464c00095b8a9e150ff1c759ee8e17013df86c3
tree3c596935f320eef621810be045175f513febcb12
parente70983c0f329da6d2976a725789fa6cf600c84f6
remove spurious entry
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in