History for gitbucket_jkp / embed-jetty / jetty-io-8.1.8.v20121106.jar
2013-09-26
@takezoe
(refs #96)Improve Jetty embedding process.
takezoe committed on 26 Sep 2013