disable other patches for the time being; probably can be removed ...
[debian/jabref.git] / debian / patches / series
1 02_libs.patch
2 #05_antlr32.patch
3 #07_pdfbox1.5.patch
4 #08_doubleextensions.patch
5 #09_looks2.5.patch
6 mrDlib.patch