Google Git
Sign in
apache / ace / 2860905d50b8e5fc0339d44a0ba122ea33695173 / . / server / .settings
tree: 1ecdc8c5b9df2bf92a54568ae54fac9854cfcde0 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs