diff --git a/external/gli b/external/gli deleted file mode 160000 index 7da5f509..00000000 --- a/external/gli +++ /dev/null @@ -1 +0,0 @@ -Subproject commit 7da5f50931225e9819a26d5cb323c5f42da50bcd