Google Git
Sign in
eclipse / actf / org.eclipse.actf.ai / ba5d335b9e16ff01a0ee245d29fa3dfc6ebd5729 / . / plugins / org.eclipse.actf.ai.navigator / .settings
tree: f4dda32c47879fcb6c0a6eee0da94cd502d1ede3 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs