From 360002505cefcb514abcfec341a06f1fb857f1db Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Peter=20Tr=C3=B6ger?= Date: Tue, 20 Aug 2019 13:46:53 +0200 Subject: [PATCH] New demo installation --- docs/index.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/index.html b/docs/index.html index 54989cac..e9276468 100755 --- a/docs/index.html +++ b/docs/index.html @@ -140,7 +140,7 @@

Automated testing of submissions