From cb4bec76db9c9f07cb7b08f1937553d41eae3ee5 Mon Sep 17 00:00:00 2001 From: Glen Fernandes Date: Wed, 17 Oct 2018 07:21:25 -0400 Subject: [PATCH] Removed signals (v1) --- .gitmodules | 4 ---- libs/signals | 1 - 2 files changed, 5 deletions(-) delete mode 160000 libs/signals 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