diff --git a/.gitmodules b/.gitmodules index 65041887a20354f10723c5d63b1cfcd8ee1c7903..bd49cb6736b9acde554041fc9acd4a6253051465 100644 --- a/.gitmodules +++ b/.gitmodules @@ -13,9 +13,6 @@ [submodule "pymsc"] path = pymsc url = https://gitrepos.estec.esa.int/taste/pymsc.git -[submodule "properties"] - path = properties - url = https://gitrepos.estec.esa.int/taste/properties.git [submodule "orchestrator"] path = orchestrator url = https://gitrepos.estec.esa.int/taste/orchestrator.git diff --git a/properties b/properties deleted file mode 160000 index 84968d20b828d4e7b69758ad9ab07ccb38dc1f85..0000000000000000000000000000000000000000 --- a/properties +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 84968d20b828d4e7b69758ad9ab07ccb38dc1f85