]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: e70983c)
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)
DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in patch | blob | history

diff --git a/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in b/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in
index 4888ff7576e85230604b4216e132e6d5cc63da1a..bae5c14fa85faaf80ef2261b622630313bafbda9 100644 (file)
--- a/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in
+++ b/DEVEL/gdome_xslt/debian/libgdome2-xslt-ocaml-dev.install.in
@@ -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/
Unnamed repository; edit this file 'description' to name the repository.