From feae1c4c323abb0ef79e0e43230ddf0d9af7311c Mon Sep 17 00:00:00 2001 From: bunnei Date: Sun, 14 Jan 2018 04:29:30 -0500 Subject: [PATCH] externals: Remove unused repos. --- externals/cpr | 1 - externals/enet | 1 - externals/nihstro | 1 - externals/soundtouch | 1 - 4 files changed, 4 deletions(-) delete mode 160000 externals/cpr delete mode 160000 externals/enet delete mode 160000 externals/nihstro delete mode 160000 externals/soundtouch diff --git a/externals/cpr b/externals/cpr deleted file mode 160000 index b5758fbc88..0000000000 --- a/externals/cpr +++ /dev/null @@ -1 +0,0 @@ -Subproject commit b5758fbc88021437f968fe5174f121b8b92f5d5c diff --git a/externals/enet b/externals/enet deleted file mode 160000 index 9d9ba122d4..0000000000 --- a/externals/enet +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 9d9ba122d4818f7ae1aef2197933ac696edb2331 diff --git a/externals/nihstro b/externals/nihstro deleted file mode 160000 index 7e24743af2..0000000000 --- a/externals/nihstro +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 7e24743af21a7c2e3cef21ef174ae4269d0cfdac diff --git a/externals/soundtouch b/externals/soundtouch deleted file mode 160000 index 019d2089bb..0000000000 --- a/externals/soundtouch +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 019d2089bbadf70d73ba85aa8ea51490b071262c