Martin Hořeňovský 9e6d7bbf00 Add documentation for installing Catch from the repository
This might prove helpful when the package managers either doesn't
have Catch at all, or provides it in obsolete version (Ubuntu 16.04,
I am looking at you).

Closes #1383
2018-09-21 20:48:18 +02:00
..
2018-09-08 11:05:52 +02:00
2018-09-08 11:05:52 +02:00
2018-08-29 14:51:17 +02:00
2018-09-08 11:05:52 +02:00
2017-08-24 22:56:27 +02:00