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