Joakim Erdfelt 385f00f72b Merge remote-tracking branch 'jetty-11.0.x' into `jetty-12.0.x`		2022-05-11 16:52:08 -05:00
..
websocket-core-client	Merge remote-tracking branch 'jetty-11.0.x' into `jetty-12.0.x`	2022-05-11 16:52:08 -05:00
websocket-core-common	Merge remote-tracking branch 'jetty-11.0.x' into `jetty-12.0.x`	2022-05-11 16:52:08 -05:00
websocket-core-server	copy servlet attributes & params on jetty websocket upgrade	2022-05-09 17:07:48 +10:00
websocket-core-tests	Merge remote-tracking branch 'jetty-11.0.x' into `jetty-12.0.x`	2022-05-11 16:52:08 -05:00
pom.xml	Jetty-12 Restructure	2022-05-03 15:50:54 +02:00