jetty.project/build
Olivier Lamy e6caadf801
Merge branch 'jetty-12.0.x' into jetty-12.1.x
2024-11-12 15:40:51 +10:00
..
build-resources Merge branch 'jetty-12.0.x' into jetty-12.1.x 2024-11-12 15:40:51 +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