remove 04_HONOR_DISPLAY_PROPERTIES.patch, not needed any more

[debian/jabref.git] / debian / patches / series

diff --git a/debian/patches/series b/debian/patches/series
index f61b552..69a2066 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,6 +1,5 @@
 01_free_javac.patch
 02_libs.patch
 03_external_apps.patch
-04_HONOR_DISPLAY_PROPERTIES.patch
 05_antlr.patch
 06_BibtexEntry.patch