jetty.project/jetty-home
Joakim Erdfelt c2bc103cb9
Merge Release 10.0.10 back into `jetty-10.0.x` (#8180)
* Updating to version 10.0.11-SNAPSHOT
2022-06-21 14:41:41 +02:00
..
src/main Fix #7754 - Allow JETTY_SYS_PROPS to be configured by /etc/default/ (#7819) 2022-05-26 09:18:10 -05:00
pom.xml Merge Release 10.0.10 back into `jetty-10.0.x` (#8180) 2022-06-21 14:41:41 +02:00
testing-with-local-deploy.md Fixing typo 2020-09-30 08:45:29 -05:00