History for jetty / src / main / java / servlets
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
Not sure why this was done
Mark George committed on 2 Jul 2021
2019-02-21
Convert into a Gradle project
Mark George committed on 21 Feb 2019