Timeline

04/20/20:

05:36 Changeset [15256] by Mark Evenson

ci: set platform-specific runtime options

05:36 Changeset [15255] by Mark Evenson

build: expand build diagonostics to cover Ant properties

05:36 Changeset [15254] by Mark Evenson

build: annotate available runtime properties For openjdk11, it seems …

05:36 Changeset [15253] by Mark Evenson

Test that inherited symbols are printed without package prefix

05:35 Changeset [15252] by Mark Evenson

Provide accessor in URL-STREAM for underlying java.io.InputStream? …