diff --git a/external/private b/external/private deleted file mode 160000 index 8f7eb2cd1..000000000 --- a/external/private +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 8f7eb2cd1cb0f5f9fc8f130acebabf29cf8da56f