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