Joakim Erdfelt a0d866687f Merge branch 'jetty-9.4.x'		2016-07-25 17:03:11 -07:00
..
src	Merge branch 'jetty-9.3.x' into jetty-9.4.x	2016-07-25 17:02:51 -07:00
pom.xml	[maven-release-plugin] prepare for next development iteration	2016-06-22 13:59:10 -05:00