Joakim Erdfelt 3ec5f8fa3d Merge remote-tracking branch 'origin/jetty-9.4.x'		2017-08-09 16:21:08 -07:00
..
src	Fixed #1715 standardise XML properties and IDs	2017-08-08 09:16:08 -07:00
pom.xml	Cleaning up state of branch to match the original jetty-9.4.x	2017-08-08 09:47:04 -07:00