From 7eec6ef0aa933a4745c328cd3b6ccac518b87579 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Mon, 10 Oct 2022 13:52:52 +0200 Subject: [PATCH] update codemirror page --- resources/public/codemirror.html | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/resources/public/codemirror.html b/resources/public/codemirror.html index 384a425..12850f1 100644 --- a/resources/public/codemirror.html +++ b/resources/public/codemirror.html @@ -1,7 +1,11 @@ - - + + + + + + -