New patch 08_doubleextensions.patch, kindly backported and provided by
[debian/jabref.git] / debian / patches / series
1 01_free_javac.patch
2 02_libs.patch
3 05_antlr32.patch
4 06_BibtexEntry.patch
5 07_pdfbox1.5.patch
6 08_doubleextensions.patch