.settings/org.eclipse.core.resources.prefs
changeset 233 2d063df1e57d
parent 226 a490d58de8b6
child 275 7fb704ee75e7
equal deleted inserted replaced
232:e031590c848d 233:2d063df1e57d