]> WPIA git - gigi.git/blob - .settings/org.eclipse.core.resources.prefs
projects / gigi.git / blob
? search:
summary | shortlog | log | commit | commitdiff | tree
history | raw | HEAD
Merge changes Iabf8ec0b,Ia60382fc,I84138914,If8bc2638,Ia7813913
[gigi.git] / .settings / org.eclipse.core.resources.prefs
1 eclipse.preferences.version=1
2 encoding/<project>=UTF-8
WPIA Certificate Web Issuance Platform