Google Git
Sign in
eclipse / sphinx / org.eclipse.sphinx / 81b2ef55746a76c215d2fb20fe0e45f98c4764d6 / . / releng / org.eclipse.sphinx.releng.builds / .settings
tree: 89ffaa78ae1dc7f26f62322d5bb6e1c8a9c6d556 [path history] [tgz]
  1. org.eclipse.core.resources.prefs