Add HighlightFilter patch to work without HighlightFilter.java and rm src/java/net...
[debian/jabref.git] / debian / patches / 08_HighlightFilter.patch
2010-01-17 gregor herrmannAdd HighlightFilter patch to work without HighlightFilt...