Google Git
Sign in
apache / pivot / 667c5e4cb53aa01b26552d724bae0184439b51a6 / . / web / .settings
tree: e1d01cba05262098c446c28ae2bd108d78657ce1 [path history] [tgz]
  1. org.eclipse.core.resources.prefs