Google Git
Sign in
eclipse / ptp / org.eclipse.ptp / refs/tags/v201005201458 / . / rdt / org.eclipse.ptp.rdt.ui / .settings
tree: e2f2010bc5afec221d46c133595f2b5f10cc9a9f [path history] [tgz]
  1. org.eclipse.jdt.core.prefs