]> WPIA git - gigi.git/history - .settings
Merge branch 'libs/jetty/upstream' into libs/jetty/local
[gigi.git] / .settings /
2016-06-30 Felix DörreMerge branch 'libs/jetty/upstream' into libs/jetty...
2014-06-20 Felix DörreAdd an example jetty launcher with client certs