From 0aa74526ebd6f24083bd4ae387a1b46974dbc878 Mon Sep 17 00:00:00 2001 From: Lars Bilke <lars.bilke@ufz.de> Date: Mon, 12 Nov 2012 12:59:30 +0100 Subject: [PATCH] Updated ThirdParty/ReadMe. --- ThirdParty/ReadMe.md | 6 +++++- 1 file changed, 5 insertions(+), 1 deletion(-) diff --git a/ThirdParty/ReadMe.md b/ThirdParty/ReadMe.md index df64dd0c2be..97eee7d1e82 100644 --- a/ThirdParty/ReadMe.md +++ b/ThirdParty/ReadMe.md @@ -26,4 +26,8 @@ Compression algorithms. Is integrated directly. ## gtest ## -Google testing framework for unit tests. Is integrated directly. \ No newline at end of file +Google testing framework for unit tests. Is integrated directly. + +## quickcheck ## + +Is integrated as a submodule. \ No newline at end of file -- GitLab