v1.9.0 #175

Merged
muellerr merged 623 commits from develop into main 2022-03-08 10:32:41 +01:00
23 changed files with 315 additions and 275 deletions
Showing only changes of commit 74fa4835e2 - Show all commits

3
.gitmodules vendored
View File

@@ -22,3 +22,6 @@
[submodule "thirdparty/json"] [submodule "thirdparty/json"]
path = thirdparty/json path = thirdparty/json
url = https://github.com/nlohmann/json.git url = https://github.com/nlohmann/json.git
[submodule "thirdparty/Catch2"]
path = thirdparty/Catch2
url = https://github.com/catchorg/Catch2.git

1
thirdparty/Catch2 vendored Submodule

Submodule thirdparty/Catch2 added at 426954032f