Google Git
Sign in
eclipse / ptp / org.eclipse.ptp / d29bd0001cd96e543bf4414362e103a900ce5624 / . / core / org.eclipse.ptp.remote.terminal / .settings
tree: 5839c1ba07cbbef5220de5d5f9cb2c232c00a8b2 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs