diff --git a/.gitmodules b/.gitmodules index 825d1eca..8e496639 100644 --- a/.gitmodules +++ b/.gitmodules @@ -906,3 +906,6 @@ [submodule "repos/Ondas"] path = repos/Ondas url = https://github.com/srsergiorodriguez/ondas.git +[submodule "repos/Sulamith"] + path = repos/Sulamith + url = https://github.com/JohannAsbjoernson/Sulamith.git diff --git a/repos/Sulamith b/repos/Sulamith new file mode 160000 index 00000000..0727917b --- /dev/null +++ b/repos/Sulamith @@ -0,0 +1 @@ +Subproject commit 0727917bb56d6584d6454b9504fc6ea32b2f3e9f