.settings/org.eclipse.core.resources.prefs
changeset 61 c9861a9a8606
parent 59 d81fcb734e6c
child 70 82d8de021806
equal deleted inserted replaced
60:e858d602a089 61:c9861a9a8606