Google Git
Sign in
apache / pivot / 860d614a059585079b4555eeb3414a6b5ebff527 / . / wtk / .settings
tree: aa9918a1b92a480756ed622fc9bf7e2136968a36 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs