Skip to content

Move Installation/Development sections below the Tutorial section#701

Merged
sharkdp merged 2 commits intosharkdp:masterfrom brunswick42:update-readmeDec 7, 2020

Commits

Commits on Dec 6, 2020