Add patch to swap labels for checkboxes in Options
[debian/jabref.git] / debian / patches / series
index ca134d8172a7ea6ef968ee4b907624357da0aa0a..1da5505f7ade5231f23813989d0d75243968cd90 100644 (file)
@@ -1,6 +1,4 @@
-02_libs.patch
-#05_antlr32.patch
-#07_pdfbox1.5.patch
-#08_doubleextensions.patch
-#09_looks2.5.patch
-mrDlib.patch
+debian_libs.patch
+mrDlib_jayatana.patch
+generated_JabRefPlugin.java.patch
+options_preferences_file.patch