Add patch to swap labels for checkboxes in Options
[debian/jabref.git] / debian / patches / series
index bcb47d5..1da5505 100644 (file)
@@ -1,6 +1,4 @@
-build_xml.patch
-free_javac.patch
-HONOR_DISPLAY_PROPERTIES.patch
-preferences.patch
-BstLexer.patch
-BibtexEntry.patch
+debian_libs.patch
+mrDlib_jayatana.patch
+generated_JabRefPlugin.java.patch
+options_preferences_file.patch