Revision 2318e680de419689604a9baf0084990ca90805c3 authored by brharrington on 26 April 2019, 23:24:22 UTC, committed by GitHub on 26 April 2019, 23:24:22 UTC
Backport of #967 to get better behavior when running on
newer JDKs that do not include the Lucida fonts.
1 parent f9cfa83
History

README.md

back to top