From f3af6c7e5b46f4209a4981e5d7be217368f40b15 Mon Sep 17 00:00:00 2001 From: crupest Date: Thu, 8 Feb 2024 15:12:29 +0800 Subject: Get rid of GSL. --- .gitmodules | 3 --- 1 file changed, 3 deletions(-) (limited to '.gitmodules') diff --git a/.gitmodules b/.gitmodules index 056b9ef1..c87b5454 100644 --- a/.gitmodules +++ b/.gitmodules @@ -1,9 +1,6 @@ [submodule "lib/double-conversion"] path = lib/double-conversion url = https://github.com/google/double-conversion.git -[submodule "lib/GSL"] - path = lib/GSL - url = https://github.com/microsoft/GSL.git [submodule "lib/Catch2"] path = lib/Catch2 url = https://github.com/catchorg/Catch2.git -- cgit v1.2.3