Learn more about these different git repos.
Other Git URLs
a2ec9e6
Update and standardize copyright headers; introduce AUTHORS file. Dates in all headers were harmonized with Git history. AUTHORS file lists all authors listed in Git history and source files too.