Add patch to swap labels for checkboxes in Options
[debian/jabref.git] / debian / patches /
drwxr-xr-x   ..
-rw-r--r-- 4500 debian_libs.patch
-rw-r--r-- 13681 generated_JabRefPlugin.java.patch
-rw-r--r-- 56691 mrDlib_jayatana.patch
-rw-r--r-- 1084 options_preferences_file.patch
-rw-r--r-- 105 series