patch: 'Origin: vendor'
[debian/jabref.git] / debian / patches / series
index eca0255d1c969e377c04d5aa9d9b0563c03a0d19..e5ad6a63f7df7fe1f6bb46d53a97391dcabdd951 100644 (file)
@@ -1,7 +1,5 @@
+07_pdfbox1.5.patch
 01_free_javac.patch
 02_libs.patch
-03_external_apps.patch
-05_antlr.patch
+05_antlr32.patch
 06_BibtexEntry.patch
-07_PreviewPanel.patch
-08_HighlightFilter.patch