Google Git
Sign in
eclipse/gerrit/platform/eclipse.platform.ua/2a1ebaefed68fa3b6aaec99320bb30887ded0af7/./org.eclipse.tips.ide/.settings
tree: 50931442ff02617460e8f7079690d92cfb697bc8
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.ds.annotations.prefs