efbdd0b64a3dc325fbee47337a4d992484c7722d
[debian/jabref.git] / debian / patches / 00list
1 01_free_javac
2 02_libs
3 03_external_apps
4 04_HONOR_DISPLAY_PROPERTIES
5 05_antlr