* New upstream release:
[debian/jabref.git] / debian / patches / 08_HighlightFilter.patch
2010-03-08 gregor herrmann* New upstream release:
2010-01-17 gregor herrmannAdd HighlightFilter patch to work without HighlightFilt...