Commit 97931a8457d543b1cf494691a1a93429b9bcdd72
Update Catch from v2.0.1 to v2.13.10
This is mainly to fix use of reserved identifiers.
Thanks to Markus Elfring (a.k.a. elfring).
Related to #11 on GitHub.
Author: xaizek
Author date (UTC): 2023-01-07 13:18
Committer name: xaizek
Committer date (UTC): 2023-01-07 13:18
Parent(s): 2bcf90d2eac239bf673f2543f428ae17cd4a604d
Signing key: 99DC5E4DB05F6BE2
Tree: 505878d5b248387c420b4221966f48a32f166998
The diff for file third-party/Catch/catch.hpp is too big (15654 changes) and cannot be shown.
|