Google Git
Sign in
apache / pivot / 667c5e4cb53aa01b26552d724bae0184439b51a6 / . / wtk-terra / .settings
tree: f8debbacb1fbf85d112ea3a52b5006cf0ddcd015 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs