Closed dos1 closed 3 years ago
It got removed from .gitmodules in e28032edd3f16986142303260d10b91a93845c1a, but the submodule itself remains in the tree, which prevents the Makefile from downloading it via wget.
.gitmodules
It got removed from
.gitmodulesin e28032edd3f16986142303260d10b91a93845c1a, but the submodule itself remains in the tree, which prevents the Makefile from downloading it via wget.