Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 91ad2ae4c36a3cf7df1006359d34d639c5a2ab52 / . / plugins / org.eclipse.objectteams.otdt / .settings
tree: b1d8a2b8a91fe712387f8ce03a4b20c34f880b65 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs