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