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