Google Git
Sign in
eclipse / gerrit / gmf-tooling / org.eclipse.gmf-tooling / refs/heads/158116-choice-labels-merging / . / plugins / org.eclipse.gmf.tooling.runtime / .settings
tree: bf7887146963c6996e684ffded5d7bb9c0f505e1 [path history] [tgz]
  1. org.eclipse.jdt.core.prefs