patch so DocumentPrinter.java can be removed
[debian/jabref.git] / debian / patches / series
index 584970d..31aa14a 100644 (file)
@@ -1,5 +1,6 @@
 01_free_javac.patch
 02_libs.patch
 03_external_apps.patch
-04_HONOR_DISPLAY_PROPERTIES.patch
 05_antlr.patch
+06_BibtexEntry.patch
+07_PreviewPanel.patch