.settings/org.eclipse.core.resources.prefs
changeset 43 beb799c08f57
parent 42 cb2a0e2d3bbf
child 48 d9a45c366c6c
equal deleted inserted replaced
42:cb2a0e2d3bbf 43:beb799c08f57