Google Git
Sign in
eclipse / gerrit / henshin / org.eclipse.emft.henshin / refs/heads/sam / . / plugins / org.eclipse.emf.henshin.statespace.explorer / .settings
tree: 2f11efc6bae000fa2a2ce5cf174b7586135e33be [path history] [tgz]
  1. org.eclipse.jdt.core.prefs