From 74fa4835e2e0a86b26794f52f14bf4210c4c1369 Mon Sep 17 00:00:00 2001 From: Robin Mueller Date: Wed, 29 Sep 2021 09:15:02 +0200 Subject: [PATCH] added Catch2 repo --- .gitmodules | 3 +++ thirdparty/Catch2 | 1 + 2 files changed, 4 insertions(+) create mode 160000 thirdparty/Catch2 diff --git a/.gitmodules b/.gitmodules index 1f3dc6ec..1ca8bec5 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,3 +22,6 @@ [submodule "thirdparty/json"] path = thirdparty/json url = https://github.com/nlohmann/json.git +[submodule "thirdparty/Catch2"] + path = thirdparty/Catch2 + url = https://github.com/catchorg/Catch2.git diff --git a/thirdparty/Catch2 b/thirdparty/Catch2 new file mode 160000 index 00000000..42695403 --- /dev/null +++ b/thirdparty/Catch2 @@ -0,0 +1 @@ +Subproject commit 426954032f263754d2fff4cffce8552e7371965e