]> 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)
commit9c990d2fc303037dc05bbd7e7b1e2c5bc29875a9
tree7b60dba380bbde230579c73def68f99169e73bbd
parent8f8e76aa438bc4b931e9de23300b26face8be93b
remove spurious entry
helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in