diff --git a/.gitmodules b/.gitmodules index 744dfdb41..540fc6476 100644 --- a/.gitmodules +++ b/.gitmodules @@ -8,3 +8,6 @@ [submodule "ext/doctest"] path = ext/doctest url = https://github.com/doctest/doctest.git +[submodule "ext/DHT"] + path = ext/DHT + url = git@gitup.uni-potsdam.de:mluebke/dht_ucx.git diff --git a/ext/DHT b/ext/DHT new file mode 160000 index 000000000..cdc7ebb0e --- /dev/null +++ b/ext/DHT @@ -0,0 +1 @@ +Subproject commit cdc7ebb0e76ebe3dae2ff7c2cd6ae2c6a7394980