diff --git a/.gitmodules b/.gitmodules index d98ae78c27..3f2b754488 100644 --- a/.gitmodules +++ b/.gitmodules @@ -238,10 +238,6 @@ path = libs/range url = ../range.git fetchRecurseSubmodules = on-demand -[submodule "signals"] - path = libs/signals - url = ../signals.git - fetchRecurseSubmodules = on-demand [submodule "rational"] path = libs/rational url = ../rational.git diff --git a/libs/signals b/libs/signals deleted file mode 160000 index 613b2a55b6..0000000000 --- a/libs/signals +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 613b2a55b602501bf6dfe3da8fb2218e1ffc2862