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