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