]> WPIA git - gigi.git/blob - .settings/org.eclipse.core.resources.prefs
upd: change experience points from 2 to 4 as defined to have the same
[gigi.git] / .settings / org.eclipse.core.resources.prefs
1 eclipse.preferences.version=1
2 encoding/<project>=UTF-8