eaab941117fe377bd0ced1ff13c92e5d258c35d4
[debian/jabref.git] / debian / patches / 00list
1 01_free_javac
2 03_external_apps