Google Git
Sign in
eclipse/platform/eclipse.platform.text/2a72f45fb7425f07fe595a0210ff07497116e264/./org.eclipse.ui.examples.javaeditor/.settings
tree: a8e8a0021d1ad47c625b93c81acae5d4f733ab61
  1. org.eclipse.jdt.core.prefs