[debian/jabref.git] / debian / patches / series

01_free_javac.patch
02_libs.patch
03_external_apps.patch
04_HONOR_DISPLAY_PROPERTIES.patch
05_antlr.patch