Merge pull request #315 from VeriFIT/update_cmake

Update cmake #patch
VeriFIT · Sep 1, 2023 · 2634c92 · 2634c92
2 parents dd76019 + 74fa0f3
commit 2634c92
Show file tree

Hide file tree

Showing 48 changed files with 227 additions and 44,676 deletions.
diff --git a/3rdparty/args.hxx b/3rdparty/args.hxx
diff --git a/3rdparty/catch.hpp b/3rdparty/catch.hpp