patch so DocumentPrinter.java can be removed

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

diff --git a/debian/patches/series b/debian/patches/series
index 69506c2..31aa14a 100644 (file)
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,6 +1,6 @@
-build_xml.patch
-free_javac.patch
-HONOR_DISPLAY_PROPERTIES.patch
-preferences.patch
-antlr.patch
-BibtexEntry.patch
+01_free_javac.patch
+02_libs.patch
+03_external_apps.patch
+05_antlr.patch
+06_BibtexEntry.patch
+07_PreviewPanel.patch