[jabref] 203/459: refresh debian/patches/02_libs.patch

[gregor herrmann]

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

gregoa pushed a commit to branch master
in repository jabref.

commit e2fa969145b8a02e4c7e20e53280ec32e298a0d4
Author: gregor herrmann <gregoa at debian.org>
Date:   Sat Sep 12 21:05:46 2009 +0000

    refresh debian/patches/02_libs.patch
---
 debian/patches/02_libs.patch | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

diff --git a/debian/patches/02_libs.patch b/debian/patches/02_libs.patch
index 85c67b8..f07376d 100644
--- a/debian/patches/02_libs.patch
+++ b/debian/patches/02_libs.patch
@@ -1,10 +1,8 @@
 Author: Gerardo Curiel <gerardo at sophie.gerardo.com.ve>
 Author: Philip Rinn <rinni at gmx.net>
 Description: Use debian libraries and disable unnecesary unjarlib target,
-Index: 2.5/build.xml
-===================================================================
---- 2.5.orig/build.xml	2009-08-12 21:47:37.000000000 +0200
-+++ 2.5/build.xml	2009-08-12 21:54:25.000000000 +0200
+--- a/build.xml
++++ b/build.xml
 @@ -85,7 +85,7 @@
  	<property name="help.dir" value="${src.dir}/help" />
  	<property name="extensions.dir" value="${src.dir}/extensions" />

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-java/jabref.git