1
0
Commit Graph

53 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