]> WPIA git - gigi.git/tree - .settings/
projects / gigi.git / tree
? search:
summary | shortlog | log | commit | commitdiff | tree
history | HEAD | snapshot
Merge changes I18f5f27f,I27ec303f,I78009fe3
[gigi.git] / .settings /
drwxr-xr-x   ..
-rw-r--r-- 55 org.eclipse.core.resources.prefs blob | history | raw
-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-- 3160 org.eclipse.jdt.ui.prefs blob | history | raw
WPIA Certificate Web Issuance Platform