From c271d53b7f09a4fe9bf00c76e6d4fb7ba3247d44 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Andr=C3=A1s=20B=20Nagy?= <20251272+BNAndras@users.noreply.github.com> Date: Sun, 29 Mar 2026 22:39:57 -0700 Subject: [PATCH] Change highlightjs language --- config.json | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/config.json b/config.json index db204c6..3da1e3c 100644 --- a/config.json +++ b/config.json @@ -13,7 +13,7 @@ "online_editor": { "indent_style": "space", "indent_size": 2, - "highlightjs_language": "plaintext" + "highlightjs_language": "pyret" }, "test_runner": { "average_run_time": 3