Google Git
Sign in
apache / pivot / f16ccf0ffedb8ad6b360e620fb3773dda1cb86d3 / . / core / .settings
tree: 7f6093a3c87158fc43e39fc3cef2559cc67c355f [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs