documentation improved#34

Merged

AntSimi merged 4 commits intoAntSimi:masterfrom

CoriPegliasco:master

Nov 3, 2020

Commits on Nov 2, 2020

Commits on Nov 3, 2020

Merge remote-tracking branch 'upstream/master'
CoriPegliasco
committed