Closed Jikstra closed 6 years ago
Note that if you previously have cloned this repo before this change, there might be some hickups with git submodule and an updated .gitmodules file. The simplest fix for this is just to re-clone the repository from scratch.
git submodule
.gitmodules
Note that if you previously have cloned this repo before this change, there might be some hickups with
git submodule
and an updated.gitmodules
file. The simplest fix for this is just to re-clone the repository from scratch.