Joakim Erdfelt cf589fca83 Merge remote-tracking branch 'origin/jetty-9.4.x'		2017-05-15 10:08:10 -07:00
..
jetty-all	Merged branch 'jetty-9.4.x' into 'master'.	2016-06-07 10:24:15 +02:00
jetty-all-compact3	Merge remote-tracking branch 'origin/jetty-9.4.x'	2017-05-15 10:08:10 -07:00
jetty-websocket-all	fix some merge issues, some example javadoc that was never right and contributing language	2016-02-26 08:13:41 -06:00