New patch: disable mrDlib feature
[debian/jabref.git] / debian / patches / mrDlib.patch
2012-10-29 gregor herrmannNew patch: disable mrDlib feature