Google Git
Sign in
eclipse/platform/eclipse.platform.ua/I20171110-2000/./org.eclipse.ui.intro.universal/.settings
tree: 743b538e1b3dc65ae6908238572753a0fe773255
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs