Google Git
Sign in
eclipse / intent / org.eclipse.mylyn.docs.intent.main / 0b1241eaaee5d9fb86602b5e1e0c4153b69e4607 / . / plugins / org.eclipse.mylyn.docs.intent.client.ui.ide / .settings
tree: e1e7fe3c6b188ee29e657484fdbf0f68fcafce1e [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs