diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/.gitmodules b/.gitmodules index d4c2c55..c40746f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -14,9 +14,12 @@ ignore = dirty [submodule "deps/range-v3"] path = deps/range-v3 - url = https://github.com/ericniebler/range-v3 + url = https://github.com/spartan322/range-v3 ignore = dirty [submodule "tests/deps/snitch"] path = tests/deps/snitch url = https://github.com/snitch-org/snitch ignore = dirty +[submodule "deps/vmcontainer"] + path = deps/vmcontainer + url = https://github.com/spartan322/vmcontainer |