Joakim Erdfelt dce6000929 Merge branch 'jetty-9.4.x'		2016-06-07 15:08:11 -07:00
..
jetty-all	Merged branch 'jetty-9.4.x' into 'master'.	2016-06-07 10:24:15 +02:00
jetty-all-compact3	Merge branch 'jetty-9.4.x'	2016-06-07 15:08:11 -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