]> WPIA git - gigi.git/blob - .settings/org.eclipse.core.runtime.prefs
Merge changes Ia0c9d6da,I9e50cc2d
[gigi.git] / .settings / org.eclipse.core.runtime.prefs
1 eclipse.preferences.version=1
2 line.separator=\n