Google Git
Sign in
eclipse / gerrit / virgo / org.eclipse.virgo.jetty-server / 1ee6212a5d01d632db88b481301685f46bd2393d / . / build-jetty-server / config
tree: 5694f9ba0782dd590794c07f5af066c36da5c43c [path history] [tgz]
  1. org.eclipse.virgo.apps.repository.properties
  2. org.eclipse.virgo.repository.properties