]> matita.cs.unibo.it Git - helm.git/commitdiff
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)
helm/software/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in

index 4888ff7576e85230604b4216e132e6d5cc63da1a..bae5c14fa85faaf80ef2261b622630313bafbda9 100644 (file)
@@ -1,3 +1,2 @@
 debian/tmp/usr/lib/ocaml/@OCamlABI@/stublibs/*.owner
-debian/tmp/usr/lib/ocaml/@OCamlABI@/stublibs/lib*.so
 debian/tmp/usr/lib/ocaml/@OCamlABI@/gdome2-xslt/