From fb3c17b30325b919053ca109bf41de0b15095b6c Mon Sep 17 00:00:00 2001 From: Vaclav Blazek Date: Thu, 25 Jul 2019 17:26:32 +0200 Subject: [PATCH] using libshtools from github --- .gitmodules | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.gitmodules b/.gitmodules index 1421cb5..e2fd5b4 100644 --- a/.gitmodules +++ b/.gitmodules @@ -57,4 +57,4 @@ url = git@gitlab.citationtech.net:vaclav.blazek/libsemantic [submodule "externals/libshtools"] path = externals/libshtools - url = git@gitlab.citationtech.net:vaclav.blazek/libshtools + url = https://github.com/melowntech/libshtools.git