Google Git
Sign in
eclipse / dltk / org.eclipse.dltk.core / 8dc2c4f03128a1a2cf865788e535c8b49ccdc128 / . / core / plugins / org.eclipse.dltk.console / .settings
tree: 63d9155fc2a7a3de13f640fc00b6d277437375ef [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs