patch so DocumentPrinter.java can be removed
[debian/jabref.git] / debian / patches / 07_PreviewPanel.patch
2010-01-13 tony mancillpatch so DocumentPrinter.java can be removed