fix CI (try 3)
Including VILLASnode as a submodule should work, but there probably is a better way to do this. Former-commit-id: 85baa87b
.gitmodules
0 → 100644
Please register or sign in to comment
Including VILLASnode as a submodule should work, but there probably is a better way to do this. Former-commit-id: 85baa87b