]> WPIA git - gigi.git/tree - .settings/
projects / gigi.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
ADD: the daemon for pinging domains. (ping via email still missing)
[gigi.git] / .settings /
drwxr-xr-x   ..
-rw-r--r-- 48 org.eclipse.core.runtime.prefs blob | history | raw
-rw-r--r-- 24476 org.eclipse.jdt.core.prefs blob | history | raw
-rw-r--r-- 272 org.eclipse.jdt.ui.prefs blob | history | raw
WPIA Certificate Web Issuance Platform