Google Git
Sign in
eclipse/gerrit/virgo/org.eclipse.virgo.jetty-server/bf9a840231f7fe1b93e4438f044b892adfbe6b49/./build-jetty-server/config
tree: 5694f9ba0782dd590794c07f5af066c36da5c43c
  1. org.eclipse.virgo.apps.repository.properties
  2. org.eclipse.virgo.repository.properties