3 Commits

Include renames

Author	SHA1	Message	Date
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
Martin Hořeňovský	797d3b04df	Reinstate CATCH_BUILD_TESTING CMake option	2018-07-22 18:01:42 +02:00
Martin Hořeňovský	bf221583b1	Update CMake and build documentation	2018-06-24 12:32:22 +02:00