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