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