Google Git
Sign in
eclipse / gerrit / virgo / org.eclipse.virgo.web / 00cf1d92cf968a652a93f67a2c63b2c591f67353 / . / org.eclipse.virgo.web.enterprise.jsf.support / .settings
tree: f8b0debddb90f920486836a0ff63684798fdb26e [path history] [tgz]
  1. org.eclipse.pde.core.prefs