disable other patches for the time being; probably can be removed ...
[debian/jabref.git] / debian / patches / mrDlib.patch
2012-10-29 gregor herrmannNew patch: disable mrDlib feature