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/news/index.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'docs/dev/news') diff --git a/docs/dev/news/index.html b/docs/dev/news/index.html index dad1622d..5851c638 100644 --- a/docs/dev/news/index.html +++ b/docs/dev/news/index.html @@ -119,7 +119,7 @@