Google Git
Sign in
eclipse / intent / org.eclipse.mylyn.docs.intent.main / master / . / mapping / plugins / org.eclipse.intent.mapping.ide.ui / .settings
tree: 09a2b8bdedd2f41f7ecb7ea2e55675be8a57cefb [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs