get rid of local rtmidi

vizicist · Feb 5, 2023 · cc0c5ed · cc0c5ed
1 parent ba01f78
commit cc0c5ed
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git 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