Google Git
Sign in
eclipse / ptp / org.eclipse.ptp / 33c8979e37887c32d3b0e4005fc5bc189132bf18 / . / core / org.eclipse.ptp.core / .settings
tree: 105062c6cd1d9b2404c16c72d298b35ae426bcab [path history] [tgz]
  1. org.eclipse.jdt.ui.prefs