Google Git
Sign in
eclipse / gerrit / platform / eclipse.platform.debug / 059241a8f9f9b733e7ca6db599dad97a986bd6b4 / . / org.eclipse.ui.externaltools / .settings
tree: e33d7c27c3dcf339e2aa8341adaeb4c9df780cd7 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs