jetty.project/build
Olivier Lamy b310e5d7f3
Merge branch 'jetty-11.0.x' into jetty-12.0.x-merge-11
2024-11-11 21:01:02 +10:00
..
build-resources Merge branch 'jetty-11.0.x' into jetty-12.0.x-merge-11 2024-11-11 21:01:02 +10:00
scripts remove useless option 2024-09-07 08:59:50 +10:00
pom.xml Updating to version 12.0.16-SNAPSHOT 2024-11-05 14:01:49 -06:00