jetty.project/build-resources
Joakim Erdfelt d7a189fa18 Updating to version 10.0.0-SNAPSHOT 2019-10-03 12:05:26 -05:00
..
src/main/resources Merging build-resources from `jetty-9.4.x` to `jetty-10.0.x` 2019-08-14 09:40:46 -05:00
jetty-codestyle-eclipse-ide.xml Merging build-resources from `jetty-9.4.x` to `jetty-10.0.x` 2019-08-14 09:40:46 -05:00
jetty-codestyle-intellij.xml Merging build-resources from `jetty-9.4.x` to `jetty-10.0.x` 2019-08-14 09:40:46 -05:00
pom.xml Updating to version 10.0.0-SNAPSHOT 2019-10-03 12:05:26 -05:00