Google Git
Sign in
eclipse / gerrit / virgo / org.eclipse.virgo.jetty-server / a8c4d4adab3a8842b8aa6be02f7c9dc34d9e0aea / . / build-jetty-server / configuration
tree: 782199a5b5e8dad06db8f118b02058c23b4522b0 [path history] [tgz]
  1. org.eclipse.virgo.apps.repository.properties