olivier lamy 5288dfcb40 Merge branch 'jetty-9.4.x' into jetty-10.0.x		2019-09-18 10:41:31 -04:00
..
java/org/eclipse/jetty/xml	Merge branch 'jetty-9.4.x' into jetty-10.0.x	2019-09-18 10:41:31 -04:00
resources	Jetty 9.4.x reformat (#3811)	2019-06-24 17:40:30 +02:00