Google Git
Sign in
eclipse/dltk/org.eclipse.dltk.javascript/e47f36d3f93c58033caab90cd7779fd6e3620e2e/./plugins/org.eclipse.dltk.javascript.core.dom.support/.settings
tree: cd1818d35fb60526666540380a9991d1e7bd8538
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs