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