584970da088e8dbdcd11bde3b663b12af3f62510
[debian/jabref.git] / debian / patches / series
1 01_free_javac.patch
2 02_libs.patch
3 03_external_apps.patch
4 04_HONOR_DISPLAY_PROPERTIES.patch
5 05_antlr.patch