catch2/third_party
Martin Hořeňovský 4e32e0a563
Fix vendored dep because upstream is non-responsive
Eventually this needs to be fixed in the textflow project by Phil,
but he has not done so in the half a year this bug has been known
to be there, so...

Closes #1470
Closes #1455
2019-04-10 20:17:25 +02:00
..
clara.hpp Fix vendored dep because upstream is non-responsive 2019-04-10 20:17:25 +02:00