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