Google Git
Sign in
eclipse / gerrit / papyrus / org.eclipse.papyrus.incubation / 429b59412c80e0ea8b2b408135f5512079c8e0a7 / . / refactoring / plugins / org.eclipse.papyrus.refactoring / .settings
tree: e578148bd2106b17df774cd979ae0ed5588deb6d [path history] [tgz]
  1. org.eclipse.jdt.core.prefs