Google Git
Sign in
eclipse / platform / eclipse.platform.text / 0b66d53a6f7a1ca03c79ede469e7c0d54367d1b7 / . / org.eclipse.text / .settings
tree: 172445183306a50c60d3bc060bbb1b6531a4f9ea [path history] [tgz]
  1. .api_filters
  2. org.eclipse.core.resources.prefs
  3. org.eclipse.core.runtime.prefs
  4. org.eclipse.jdt.core.prefs
  5. org.eclipse.jdt.ui.prefs
  6. org.eclipse.pde.prefs