.settings/org.eclipse.core.resources.prefs
changeset 57 74d4ccdc6dbe
parent 50 3d97754e4181
child 59 d81fcb734e6c
equal deleted inserted replaced
56:c6cad3e0c348 57:74d4ccdc6dbe