Google Git
Sign in
eclipse / gerrit / papyrus / org.eclipse.papyrus.incubation / ee2c946cff5c28277a55134f4e0eef255e8b995f / . / alf / plugins / ui / org.eclipse.papyrus.uml.alf.preferences / .settings
tree: e29cb4cc259fa3c3881af6167fbf95fb47e3b82a [path history] [tgz]
  1. org.eclipse.jdt.core.prefs
  2. org.eclipse.jdt.ui.prefs