Add patch to swap labels for checkboxes in Options
[debian/jabref.git] / debian / patches / series
index a1070da27a0f7dd64bea988c5d0a891269e951ce..1da5505f7ade5231f23813989d0d75243968cd90 100644 (file)
@@ -1,6 +1,4 @@
-01_free_javac.patch
-02_libs.patch
-03_external_apps.patch
-04_HONOR_DISPLAY_PROPERTIES.patch
-05_antlr.patch
-06_forms_groups.patch
+debian_libs.patch
+mrDlib_jayatana.patch
+generated_JabRefPlugin.java.patch
+options_preferences_file.patch