a2d0cb3f422a6a7e61b79f101e51daaf85a413a1
[debian/jabref.git] / debian / patches / 00list
1 01_free_javac
2 03_external_apps
3 04_HONOR_DISPLAY_PROPERTIES
4 05_PrintStream_File