4626e1dd1dd18eb422833c95b89f8c8f49c8e262
[debian/jabref.git] / debian / patches / 00list
1 01_free_javac
2 03_external_apps
3 04_HONOR_DISPLAY_PROPERTIES