EdgarBarrantes Adds missing "git clone".
ddf4894 Dec 11, 2018
Adds missing "git clone".
Quick fix to the documentation.
ddf4894