replace git link with https link #792
Merged
Jump to file or symbol
Failed to load files and symbols.
replace git link with https link
Regular users can't clone the repository with the git link
commit 2e7bf5ca21207899b01c8bf4d62093cd2a80cd48
etienneplatini
committed
on GitHub
Apr 12, 2017