log web/ext/jetty-server-8.1.15.v20140411.jar @ 333:2b72947d421a

age author description
Mon, 21 Jul 2014 06:38:01 +0000 fschmidt@gmail.com upgrade to jetty 8