[dune-typetree] 02/02: Drop link-dunetypetree.patch (applied upstream).

[Ansgar Burchardt]

This is an automated email from the git hooks/post-receive script.

ansgar pushed a commit to branch master
in repository dune-typetree.

commit 8ae3afa4037fa34eecb2411cd5a851cb2587f738
Author: Ansgar Burchardt <burchardt at igpm.rwth-aachen.de>
Date:   Fri Jun 20 11:18:39 2014 +0200

    Drop link-dunetypetree.patch (applied upstream).
---
 debian/patches/link-dunetypetree.patch | 12 ------------
 debian/patches/series                  |  1 -
 2 files changed, 13 deletions(-)

diff --git a/debian/patches/link-dunetypetree.patch b/debian/patches/link-dunetypetree.patch
deleted file mode 100644
index 3d7ac98..0000000
--- a/debian/patches/link-dunetypetree.patch
+++ /dev/null
@@ -1,12 +0,0 @@
-From: Ansgar Burchardt <ansgar at debian.org>
-Subject: Link with dunetypetree library.
-
---- a/dune-typetree.pc.in
-+++ b/dune-typetree.pc.in
-@@ -11,5 +11,5 @@
- Description: dune-typetree module
- URL: http://dune-project.org/
- Requires: ${DEPENDENCIES}
--Libs: -L${libdir}
-+Libs: -L${libdir} -ldunetypetree
- Cflags: -I${includedir}
diff --git a/debian/patches/series b/debian/patches/series
index e6290ab..4db24c4 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1 @@
 soname.patch
-link-dunetypetree.patch

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-typetree.git