.settings/org.eclipse.core.resources.prefs
changeset 104 f8f476af3d72
parent 70 97e57904f11d
equal deleted inserted replaced
103:1509d51ffea6 104:f8f476af3d72