#279 Show the proper git URLs on the doc pages
Merged by pingou. Opened by pingou.
fix_git_url_doc  into  master

Download 279.patch
no initial comment

Looks good to me.

Metadata