log web/ext/jetty-server-8.1.15.v20140411.jar @ 463:895afcd2b281

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