]> WPIA git - gigi.git/history - .settings
projects / gigi.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
chg: Rework the Makefile to use the system defaults where possible
[gigi.git] / .settings /
2014-06-20 Felix DörreAdd an example jetty launcher with client certs tree | commitdiff
WPIA Certificate Web Issuance Platform