Google Git
Sign in
eclipse / e4 / org.eclipse.e4.ui / 6cedfed9c185c1606445723f53975c3d92ff9e36 / . / examples / org.eclipse.e4.demo.simpleide.navigator / .settings
tree: 2af06a4cf4f1e99d4668f2946e814ab95f9063be [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs