plugins/org.eclipse.dltk.python.core/.settings - gerrit/dltk/org.eclipse.dltk.python - Git at Google

eclipse/gerrit/dltk/org.eclipse.dltk.python/8cc9c15cad86bc0b32a3831af29df15527213df5/./plugins/org.eclipse.dltk.python.core/.settings

tree: 780d8713caf4e8b33673e92f557ac3ab031c6d2a [path history] [tgz]

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

Powered by Gitiles| Privacy| Termstxt json