Learn more about these different git repos.
Other Git URLs
52b0a2d
Fix setting the version in the footer of the pages Signed-off-by: Pierre-Yves Chibon <pingou@pingoured.fr>