Google Git
Sign in
eclipse / gerrit / pde / eclipse.pde.incubator / fe241d162a3c5f3c9e1c8e0433b8d53559b6b8ee / . / 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