History for gitbucket_jkp / embed-jetty
2015-03-24
@Kazuhiro Sera
Run ./embed-jetty/update.sh 8.1.16.v20140903
Kazuhiro Sera committed on 24 Mar 2015
@Kazuhiro Sera
Add a script to update embed-jetty jars
Kazuhiro Sera committed on 24 Mar 2015
2013-09-26
@takezoe
(refs #96)Improve Jetty embedding process.
takezoe committed on 26 Sep 2013