Google Git
Sign in
eclipse / gerrit / www.eclipse.org / viatra / 613574e5e943a490279108f25e2e29cc7eadef97 / . / .settings
tree: 452492db7e2836f75ee11cb26fd53cf616011d0c [path history] [tgz]
  1. org.eclipse.core.resources.prefs