mirror of
https://github.com/catchorg/Catch2.git
synced 2024-11-17 03:02:24 +01:00
4c41641799
Just don't name this parameter to avoid warnings about it being unused. No real changes. |
||
---|---|---|
.. | ||
catch.hpp |