Google Git
Sign in
eclipse / gerrit / sourceediting / webtools.sourceediting / 49e2311d0b9e09d0a9b825f26d7a42dbc7807ca9 / . / web / tests / org.eclipse.wst.jsdt.web.ui.tests / .settings
tree: d7d6f27b94a3a715a4aa9e8d3398a0ed75699b0d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs