Google Git
Sign in
eclipse / gerrit / www.eclipse.org / eclipse / a90929cad9b091d700709c237cdb2de50874fc1e / . / platform-ui / plugins / org.eclipse.ui.examples.filesystem / .settings
tree: c368cf795f755e822c10b71825177c39bf32d95b [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs