Joakim Erdfelt 02dd7d1887 Merge pull request #3289 from eclipse/jetty-10.0.x-websocket-artifact-ids ... Issue #3288 - Correcting Jetty WebSocket API artifactIds		2019-01-24 10:47:12 -06:00
..
src	Merge branch 'jetty-9.4.x' into jetty-10.0.x	2019-01-24 14:41:39 +10:00
.gitignore	adding in jetty-maven-plugin	2012-08-28 09:35:45 -05:00
README_INTEGRATION_TEST.md	Merge remote-tracking branch 'origin/jetty-9.4.x' into jetty-10.0.x	2018-12-19 10:54:41 +11:00
pom.xml	Merge pull request #3289 from eclipse/jetty-10.0.x-websocket-artifact-ids	2019-01-24 10:47:12 -06:00