Google Git
Sign in
eclipse / dltk / org.eclipse.dltk.tcl / 2b0148b124bf91c9118330dab914235cc21f9ab8 / . / tcl / plugins / org.eclipse.dltk.tcl.tclchecker / .settings
tree: b807916fd7a4caabbf2b1747d2553518c28005db [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs