Gitiles
Code Review Sign In
git.eclipse.org / pde / eclipse.pde.incubator / 020acc891ea3402b737cad05e4e1c9746b46e1a5 / . / picasso / plugins / org.eclipse.pde.picasso / .settings
tree: c279b3956c12f0d68e134942bbc75f6f63801ea4 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.eclipse.pde.prefs