Learn more about these different git repos.
Other Git URLs
a95e4bc
- make the list of known maps a built file