Google Git
Sign in
eclipse/dltk/org.eclipse.dltk.sh/dffc6039d803e16e64902f716632d4c424b345c4/./plugins/org.eclipse.dltk.sh.core/.settings
tree: 132ee7e132f90ac5ad7bcb71299b2b5b8c15bf0b
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs
  3. org.moreunit.prefs