jetty.project/build
Joakim Erdfelt 271b1ee2df
Merge remote-tracking branch 'jetty-11.0.x' into jetty-12.0.x
2023-12-06 15:21:13 -06:00
..
build-resources Merge remote-tracking branch 'jetty-11.0.x' into jetty-12.0.x 2023-12-06 15:21:13 -06:00
scripts Fixing release-jetty.sh 2023-08-29 16:31:54 -05:00
pom.xml Updating to version 12.0.5-SNAPSHOT 2023-11-30 13:33:03 -06:00