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