log web/ext/jetty-server-8.1.15.v20140411.jar @ 456:ceb3fd33adf1

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