disable other patches for the time being; probably can be removed ...
[debian/jabref.git] / debian / patches / 08_doubleextensions.patch
2012-10-29 gregor herrmannMerge tag 'upstream/2.9_beta1+ds' into experimental
2011-05-22 gregor herrmannNew patch 08_doubleextensions.patch, kindly backported...