Google Git
Sign in
eclipse/platform/eclipse.platform.text/e4f35e76b4c0e8ba8341753e9a851efd308cc2eb/./org.eclipse.ui.examples.javaeditor/.settings
tree: a8e8a0021d1ad47c625b93c81acae5d4f733ab61 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs