picasso/plugins/org.eclipse.pde.picasso/.settings - pde/eclipse.pde.incubator - Git at Google

eclipse / pde / eclipse.pde.incubator / d8a43f3a5813b8cb537e31865ff55b2ae444fec0 / . / picasso / plugins / org.eclipse.pde.picasso / .settings

tree: c279b3956c12f0d68e134942bbc75f6f63801ea4 [path history] [tgz]

org.eclipse.jdt.core.prefs
org.eclipse.jdt.ui.prefs
org.eclipse.pde.prefs

Powered by Gitiles| Privacytxt json