Commit ec816696 authored by Guilhem Bonnefille's avatar Guilhem Bonnefille
Browse files

Declare Orekit's Nexus as mirror

parent 69227a27
<settings xmlns:xsi=""
<!-- mirror
| Specifies a repository mirror site to use instead of a given repository. The repository that
| this mirror serves has an ID that matches the mirrorOf element of this mirror. IDs are used
| for inheritance and direct lookup purposes, and must be unique across the set of mirrors.
<name>Human Readable Name for this Mirror.</name>
<name>Maven Repository Manager</name>
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment