Google Git
Sign in
eclipse/platform/eclipse.platform.text/I20170424-2000/./org.eclipse.ui.genericeditor.examples/.settings
tree: 209b646d4e48562e435d4310a62fff6e4ea396e9
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs