History for jetty / db
2021-10-29
Various improvements
Mark George committed on 29 Oct 2021
2021-09-06
Fix bug in servlet
Mark George committed on 6 Sep 2021
Strip to minimum, and run via embedded Jetty.
Mark George committed on 6 Sep 2021
2021-08-16
Recent update
Mark George committed on 16 Aug 2021
2021-07-02
Add db startup script.
Mark George committed on 2 Jul 2021
2019-02-21
Convert into a Gradle project
Mark George committed on 21 Feb 2019
2018 changes.
Mark George committed on 21 Feb 2019
2017-09-28
Initial commit.
Mark George committed on 28 Sep 2017