Google Git
Sign in
eclipse/dltk/org.eclipse.dltk.javascript/fe491274f2e0b5f17f31f26dd4c90d085d4b65b0/./plugins/org.eclipse.dltk.javascript.ui/.settings
tree: 3f38ac884f7320e46e3e3a39d4be8e482632ac20
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs