mirror of
https://github.com/catchorg/Catch2.git
synced 2025-04-20 08:34:46 +02:00

The links (for me under firefox/ubunutu at least) try to open files in github rather than the catch-lib site.
The links (for me under firefox/ubunutu at least) try to open files in github rather than the catch-lib site.