Closed dllud closed 2 years ago
Perhaps we should add a note along the lines of "if you've already cloned, do git submodule --init --update"
git submodule --init --update
Done.
cherry-picked into main as 6827d50eb7dc79047b50764a30fac5d7758cc3b9
Perhaps we should add a note along the lines of "if you've already cloned, do
git submodule --init --update
"