From f6f7d67decd75b87a68f20c311a652b5b11237ef Mon Sep 17 00:00:00 2001 From: Johannes Ranke Date: Thu, 8 Oct 2020 09:57:03 +0200 Subject: Fix another URL, add devcheck target --- docs/dev/index.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'docs/dev/index.html') diff --git a/docs/dev/index.html b/docs/dev/index.html index 12df433a..76113d7c 100644 --- a/docs/dev/index.html +++ b/docs/dev/index.html @@ -86,7 +86,7 @@