log web/ext/jetty-server-8.1.15.v20140411.jar @ 486:b92fc7ec7f51

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