Learn more about these different git repos.
Other Git URLs
b97344d
Merge branch with improvements for doxygen-generated docs