From e4ce8d5b4c6bb139d3cb0c184f498978e30dca83 Mon Sep 17 00:00:00 2001 From: "Florine W. Dekker" Date: Wed, 6 Dec 2023 14:55:33 +0100 Subject: [PATCH] Clarify the docs badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2ab6775d3..d13890153 100644 --- a/README.md +++ b/README.md @@ -11,7 +11,7 @@
CI status Coverage - Documentation + Documentation

Rather than going to [random.org](https://www.random.org/) or making up your own random data, you can now insert random