.settings/org.eclipse.core.resources.prefs
changeset 145 21e6b17a7099
parent 137 e2043b49682d
child 146 b5ce341745e3
equal deleted inserted replaced
144:cfaa09b0a060 145:21e6b17a7099