From cc0c5ed4271ca438895f660f0a853f5f11a771db Mon Sep 17 00:00:00 2001 From: Tim Thompson Date: Sun, 5 Feb 2023 12:54:59 -0800 Subject: [PATCH] get rid of local rtmidi --- .gitmodules | 3 --- rtmidi | 1 - 2 files changed, 4 deletions(-) delete mode 160000 rtmidi diff --git a/.gitmodules b/.gitmodules index ff430e3a..ac54905f 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,6 +1,3 @@ -[submodule "rtmidi"] - path = rtmidi - url = https://github.com/thestk/rtmidi.git [submodule "keykit"] path = keykit url = https://github.com/nosuchtim/keykit.git diff --git a/rtmidi b/rtmidi deleted file mode 160000 index 806e18f5..00000000 --- a/rtmidi +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 806e18f575b68c23b26f9398e1b6866b335b5308