From 4a10959db6d30c356c9f5f08ad93dbd6e377fa82 Mon Sep 17 00:00:00 2001 From: Michiel Borkent Date: Mon, 10 Oct 2022 15:29:18 +0200 Subject: [PATCH] update build --- codemirror.html | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/codemirror.html b/codemirror.html index 086a49e..371548e 100644 --- a/codemirror.html +++ b/codemirror.html @@ -29,10 +29,14 @@ }