Google Git
Sign in
eclipse / platform / eclipse.platform.ua / 08cdccff43590196021a3bb6eb89d269db69a7da / . / org.eclipse.help.ui / .settings
tree: ed15ed82210eac65a3c8fe0163e1a8ea0fd43d26 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs