.settings/org.eclipse.core.resources.prefs
changeset 1185 c0a7d3cee89f
parent 1181 6ab716dd58f8
child 1190 129d45eec68c
equal deleted inserted replaced
1184:f305d9a7d0b1 1185:c0a7d3cee89f