 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
|
45f1d58bee
|
Remove trailing whitespace.
|
2020-06-17 11:11:30 -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 |
|
|
Gary Gregory
|
9444f0730b
|
No need to initialize instance variables to their default values.
|
2020-05-25 12:08:30 -04:00 |
|
|
Gary Gregory
|
7c70d1a180
|
Standardize on American English spelling of 'behavior'.
|
2020-03-30 15:07:28 -04:00 |
|
|
Gary Gregory
|
9f99a007cf
|
Create git ignore file with Eclipse artifacts.
|
2019-12-18 16:43:59 -05:00 |
|