David Pursehouse d937092ec9 Upgrade Jetty to 9.2.13.v20150730 ... This is a maintenance release [1] and is the same version as used in the latest version of JGit. [1] http://permalink.gmane.org/gmane.comp.ide.eclipse.jetty.devel/2032 Change-Id: Ied4c7c1b36aa449a6801fc3ada1193f4b28d90cc		2015-11-12 18:09:40 +00:00
..
BUCK	Upgrade Jetty to 9.2.13.v20150730	2015-11-12 18:09:40 +00:00