From b88023dc708c88372277679fdd109b745663a808 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Jonathan=20M=C3=BCller?= Date: Mon, 18 Nov 2019 17:57:15 +0100 Subject: [PATCH] Update tiny-process-library remote location --- .gitmodules | 2 +- external/tiny-process-library | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitmodules b/.gitmodules index 718b254..28186a8 100644 --- a/.gitmodules +++ b/.gitmodules @@ -3,7 +3,7 @@ url = https://github.com/foonathan/type_safe [submodule "external/tiny-process-library"] path = external/tiny-process-library - url = https://github.com/eidheim/tiny-process-library + url = https://gitlab.com/eidheim/tiny-process-library.git [submodule "external/cxxopts"] path = external/cxxopts url = https://github.com/jarro2783/cxxopts diff --git a/external/tiny-process-library b/external/tiny-process-library index 5bc4753..a677327 160000 --- a/external/tiny-process-library +++ b/external/tiny-process-library @@ -1 +1 @@ -Subproject commit 5bc47531a97f80ac07092ac3ed56a26139c748b3 +Subproject commit a6773276efdbc322f1abb0159301f5502647eb52