153 Commits

Author	SHA1	Message	Date
Gary Gregory	7268d281b3	Add missing header.	2020-07-22 10:29:50 -04:00
Gary Gregory	a0f9e31ec6	Enable GitHub Dependabot.	2020-07-22 10:17:38 -04:00
Gary Gregory	d909c8c415	Test major Java versions with GitHub actions as documented on ... https://github.com/actions/setup-java # WARNING: head commit changed in the meantime @Deprecated	2020-05-30 11:00:44 -04:00