Google Git
Sign in
eclipse / platform / eclipse.platform.text / 7a335efb4c5fa0e102fea3fe8b5ec8e974d40135 / . / org.eclipse.text / .settings
tree: 6c04847aae92988db10de3c03fbb06b6bba01603 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs