Google Git
Sign in
eclipse / epsilon / org.eclipse.epsilon / 96a87dc8c5b9a17369de6acd71a9ed3133855b5b / . / plugins / org.eclipse.epsilon.common / .settings
tree: 17bbf9f5931fdac2cd86d205d4ad1c8679c4b787 [path history] [tgz]
  1. org.eclipse.core.resources.prefs
  2. org.eclipse.jdt.core.prefs