liho98 docs: rename of repository
b22eab7 Mar 1, 2020
docs: rename of repository
b22eab7