From c61fbab138cd034fde1e1a61d2d9f02843658e22 Mon Sep 17 00:00:00 2001 From: Sascha Willems Date: Sat, 3 Aug 2019 10:44:30 +0200 Subject: [PATCH] Removed gli --- external/gli | 1 - 1 file changed, 1 deletion(-) delete mode 160000 external/gli 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