Google GitGoogle Git
Sign in
eclipse/sphinx/org.eclipse.sphinx/e4f6fa7ae931e3063a5c45ca460d160e6e4b9c64/./examples/org.eclipse.sphinx.examples.library.ide.ui/.settings
tree: 7e033dcd1da5f22f797e5ae98be4c24ad165ef9c
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs
  3. org.eclipse.jdt.ui.prefs
  4. org.eclipse.pde.prefs
  5. org.eclipse.wst.xml.core.prefs