diff --git a/server.elm b/server.elm index 645020a..d5a1def 100644 --- a/server.elm +++ b/server.elm @@ -302,9 +302,7 @@ boolToCheck = Update.bijection (case of "true" -> [["checked", ""]]; _ -> []) (c -- Everything inside the modify menu is generated and is not visible to Editor editionmenu thesource = [ -
, +, ,