Add patch to swap labels for checkboxes in Options
[debian/jabref.git] / debian / patches / series
index 3716cb1f1d3239dabae3ac2ccd6a43c27aa29a86..1da5505f7ade5231f23813989d0d75243968cd90 100644 (file)
@@ -1,2 +1,4 @@
 debian_libs.patch
 mrDlib_jayatana.patch
 debian_libs.patch
 mrDlib_jayatana.patch
+generated_JabRefPlugin.java.patch
+options_preferences_file.patch