Google Git
Sign in
eclipse / jdt / eclipse.jdt.ui / 44d50edebc4540cb96e5d37c0492471e0e5e85be / . / org.eclipse.jdt.ui / .settings
tree: 8b59b26d1d44526b941ef0d81d1a9c53de4da02f [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs