.settings/org.eclipse.core.resources.prefs
changeset 1371 17b7a6d9959d
parent 1369 e7cd1595f512
child 1373 c9ed2ae1a902
equal deleted inserted replaced
1370:166d4c070210 1371:17b7a6d9959d