externals: Remove unused repos.
This commit is contained in:
parent
a24dbcac6e
commit
feae1c4c32
|
@ -1 +0,0 @@
|
||||||
Subproject commit b5758fbc88021437f968fe5174f121b8b92f5d5c
|
|
|
@ -1 +0,0 @@
|
||||||
Subproject commit 9d9ba122d4818f7ae1aef2197933ac696edb2331
|
|
|
@ -1 +0,0 @@
|
||||||
Subproject commit 7e24743af21a7c2e3cef21ef174ae4269d0cfdac
|
|
|
@ -1 +0,0 @@
|
||||||
Subproject commit 019d2089bbadf70d73ba85aa8ea51490b071262c
|
|
Reference in New Issue