Google Git
Sign in
eclipse/gerrit/webtools/webtools.releng/aba672ca41ae7774ffb9c92f71b9f04796c2db67/./plugins/org.eclipse.wtp.releng.tools/.settings
tree: a39b32a864b8b6a32412d0bad0ae380a09dd2f05
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs