diff options
| -rw-r--r-- | .gitmodules | 4 | ||||
| m--------- | libs/signals | 0 |
2 files changed, 0 insertions, 4 deletions
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 -Subproject 613b2a55b602501bf6dfe3da8fb2218e1ffc286 |