diff options
Diffstat (limited to '.gitmodules')
| -rw-r--r-- | .gitmodules | 3 |
1 files changed, 0 insertions, 3 deletions
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 |