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