]> WPIA git - gigi.git/history - .settings/org.eclipse.core.runtime.prefs
ADD: the daemon for pinging domains. (ping via email still missing)
[gigi.git] / .settings / org.eclipse.core.runtime.prefs
2014-06-20 Felix DörreAdd an example jetty launcher with client certs