Google Git
Sign in
eclipse / dltk / org.eclipse.dltk.javascript / df2d90fec820435c1f5beeeff3b0d2e9e78bef78 / . / plugins / org.eclipse.dltk.javascript.launching / .settings
tree: d50a7d61c9c76160dfa27c29f7955160cf08f790 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs