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

eclipse / dltk / org.eclipse.dltk.python / 4a494a64b0eeab6346de89fdb448c860befcc81c / . / plugins / org.eclipse.dltk.python.ui / .settings

tree: 215bf94a90e6dde63818859f541e833dbdae13a8 [path history] [tgz]

org.eclipse.jdt.core.prefs

Powered by Gitiles| Privacy| Termstxt json