Google Git
Sign in
eclipse / dltk / org.eclipse.dltk.javascript / 4a4e08faaf269d1a08d3b5a92ddb1b89df2c42e1 / . / plugins / org.eclipse.dltk.javascript.core.dom.support / .settings
tree: ed38629a48bb820e3d60c05e87117cecd8800d17 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs