]> WPIA git - gigi.git/history - .settings/org.eclipse.core.runtime.prefs
projects / gigi.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
UDP: make orga-profiles visible to orga-people only.
[gigi.git] / .settings / org.eclipse.core.runtime.prefs
2014-06-20 Felix DörreAdd an example jetty launcher with client certs blob | commitdiff | raw
WPIA Certificate Web Issuance Platform