Google Git
Sign in
eclipse / sphinx / org.eclipse.sphinx / refs/heads/master / . / plugins / org.eclipse.sphinx.emf.check.catalog.edit / .settings
tree: bd3b71b1872f67754e19012766e21df54a709c43 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.m2e.core.prefs