patch: 'Origin: vendor'
[debian/jabref.git] / debian / patches / series
index 69506c2fcd6169d35a64c322f8a7fe7151bfa4cc..e5ad6a63f7df7fe1f6bb46d53a97391dcabdd951 100644 (file)
@@ -1,6 +1,5 @@
-build_xml.patch
-free_javac.patch
-HONOR_DISPLAY_PROPERTIES.patch
-preferences.patch
-antlr.patch
-BibtexEntry.patch
+07_pdfbox1.5.patch
+01_free_javac.patch
+02_libs.patch
+05_antlr32.patch
+06_BibtexEntry.patch