mirrors/Catch2
1
0
Fork 0
mirror of https://github.com/catchorg/Catch2.git synced 2025-05-06 06:43:52 +00:00
Code Issues Releases Wiki Activity
3,863 Commits 13 Branches 135 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Martin Jeřábek
f0a89b7345
Add ops == and != for Optional 2021-12-29 16:58:16 +01:00
Martin Hořeňovský
4e6d306742
Rename Catch::Option to Optional 2021-10-05 20:39:28 +02:00