Greg Wilkins 39cb278577 Merge remote-tracking branch 'origin/jetty-9.4.x'		2017-08-10 13:22:54 +10:00
..
src/main/java/org/eclipse/jetty/osgi/boot	Happy New Year 2017.	2017-01-19 19:31:53 +01:00
build.properties	updated to patch from 20091210	2009-12-11 03:27:18 +00:00
pom.xml	Merge remote-tracking branch 'origin/jetty-9.4.x'	2017-08-10 13:22:54 +10:00