Google Git
Sign in
eclipse / platform / eclipse.platform.ua / refs/tags/I20180529-0210 / . / org.eclipse.tips.ui / .settings
tree: 9bd790c118edc890dc219587e2c77afd0b2bb5af [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs