59e43cc893c621e47b470d147b0092b050e00d9a
[debian/jabref.git] / debian / patches / 00list
1 01_free_javac
2 03_external_apps
3 04_logger