Jesse Wilson fee3e530ad Get rid of some Java 7 stuff. ...

Still more to do, but this is a start.

2018-12-31 21:58:41 -05:00

..

static

Use HTTPS links in documentation where possible.

2018-02-25 22:06:34 -05:00

index.html

Get rid of some Java 7 stuff.

2018-12-31 21:58:41 -05:00