From 80aeaa65d4d06a4e195c1ad12712c68998faa844 Mon Sep 17 00:00:00 2001 From: nikita Date: Thu, 7 May 2020 10:54:05 +0200 Subject: [PATCH] fix broken link on server. ideally we copy this independently of the checkout build, because this breaking every now and then through a failing cronjob is bad practices. --- doc/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/index.html b/doc/index.html index af7a72e22..30a6fed61 100644 --- a/doc/index.html +++ b/doc/index.html @@ -26,7 +26,7 @@