Add HighlightFilter patch to work without HighlightFilter.java and rm src/java/net...
authorgregor herrmann <gregoa@debian.org>
Sun, 17 Jan 2010 15:55:35 +0000 (15:55 -0000)
committergregor herrmann <gregoa@debian.org>
Sun, 17 Jan 2010 15:55:35 +0000 (15:55 -0000)
commit48232422aab6de0b13150e8cc54dfed737ecd89c
tree5320722604466d5ee3ade50eeb1d93ce652ae5f5
parent1e7258917a823751c4961e7964d4eb0cb35cf640
Add HighlightFilter patch to work without HighlightFilter.java and rm src/java/net/sf/jabref/about/HighlightFilter.java
debian/changelog
debian/copyright
debian/patches/08_HighlightFilter.patch [new file with mode: 0644]
debian/patches/series
debian/repack.local