Add patch to swap labels for checkboxes in Options
[debian/jabref.git] / debian / patches / options_preferences_file.patch
2013-09-11 gregor herrmannAdd patch to swap labels for checkboxes in Options