Refresh mrDlib_jayatana.patch.
[debian/jabref.git] / debian / patches / options_preferences_file.patch
2014-03-12 gregor herrmannMerge tag 'upstream/2.10+ds'
2013-09-11 gregor herrmannAdd patch to swap labels for checkboxes in Options