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

gregoa pushed a commit to branch master
in repository jabref.

commit 893474667f318a3dc24fa98b7bf9495766224719
Author: gregor herrmann <[email protected]>
Date:   Wed Mar 12 18:38:12 2014 +0100

    Drop options_preferences_file.patch, fixed upstream.
---
 debian/patches/options_preferences_file.patch | 20 --------------------
 debian/patches/series                         |  1 -
 2 files changed, 21 deletions(-)

diff --git a/debian/patches/options_preferences_file.patch 
b/debian/patches/options_preferences_file.patch
deleted file mode 100644
index c683ad2..0000000
--- a/debian/patches/options_preferences_file.patch
+++ /dev/null
@@ -1,20 +0,0 @@
-Description: Swap labels in Options -> Preferences -> File
-Origin: vendor
-Bug-Debian: http://bugs.debian.org/722427
-Forwarded: via private mail
-Author: gregor herrmann <[email protected]>
-Last-Update: 2013-09-11
-
---- a/src/java/net/sf/jabref/FileTab.java
-+++ b/src/java/net/sf/jabref/FileTab.java
-@@ -71,8 +71,8 @@
-                 Globals.lang("Quotes") + ": \", \"",
-                 Globals.lang("Curly Brackets") + ": {, }" });
-         includeEmptyFields = new JCheckBox(Globals.lang("Include empty 
fields"));
--        camelCase = new JCheckBox(Globals.lang("Start field contents in same 
column"));
--        sameColumn = new JCheckBox(Globals.lang("Use camel case for field 
names (e.g., \"HowPublished\" instead of \"howpublished\")"));
-+        camelCase = new JCheckBox(Globals.lang("Use camel case for field 
names (e.g., \"HowPublished\" instead of \"howpublished\")"));
-+        sameColumn = new JCheckBox(Globals.lang("Start field contents in same 
column"));
-         ButtonGroup bg = new ButtonGroup();
-         bg.add(saveAuthorOrder);
-         bg.add(saveOriginalOrder);
diff --git a/debian/patches/series b/debian/patches/series
index 1da5505..9ed273d 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 debian_libs.patch
 mrDlib_jayatana.patch
 generated_JabRefPlugin.java.patch
-options_preferences_file.patch

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

_______________________________________________
pkg-java-commits mailing list
[email protected]
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-java-commits

Reply via email to