mirror of
https://github.com/catchorg/Catch2.git
synced 2025-03-26 04:14:46 +01:00

Previously we had them to avoid including <algorithm> in the vector matchers, but * we included it anyway, even though we did not use it * we use <algorithm> anyways in the generators