Google Git
Sign in
eclipse / gerrit / egit / egit-pde / 8860f7f7eaab5cd69a4648ea3de56bce50121da4 / . / org.eclipse.egit.relengtools / .settings
tree: f111fcb44d3f0a86937fac52017d4845a816c471 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs