jetty.project/build
Joakim Erdfelt 9c324326c5
Merge `release/12.0.0` back into `jetty-12.0.x` (#10237)
* Updating to version 12.0.0

* Updating to version 12.0.1-SNAPSHOT
2023-08-08 00:55:19 +02:00
..
build-resources Merge `release/12.0.0` back into `jetty-12.0.x` (#10237) 2023-08-08 00:55:19 +02:00
scripts Remove old build notes 2023-03-29 11:09:06 -05:00
pom.xml Merge `release/12.0.0` back into `jetty-12.0.x` (#10237) 2023-08-08 00:55:19 +02:00