Google Git
Sign in
eclipse/platform/eclipse.platform.ua/6e7aeb3af9c3bd9b4e9fa30ba537a411fcfd08ff/./org.eclipse.tips.examples/.settings
tree: 8f1cbf41c35328997392e20ed0f3dab809b27c9e
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs