mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-17 11:12:25 +01:00
Regenerated single-header
This commit is contained in:
parent
95efc50731
commit
afc0b31b10