From 7baebd0c20fd413416224c1e4f6982dff2833d6f Mon Sep 17 00:00:00 2001
From: Erik Schierboom <erik_schierboom@hotmail.com>
Date: Fri, 28 May 2021 09:06:04 +0200
Subject: [PATCH] Remove the (now obsolete)
 `.online_editor.ace_editor_language` key.

---
 config.json | 1 -
 1 file changed, 1 deletion(-)

diff --git a/config.json b/config.json
index 9bc89d39..e6d1d477 100644
--- a/config.json
+++ b/config.json
@@ -13,7 +13,6 @@
   "online_editor": {
     "indent_style": "space",
     "indent_size": 4,
-    "ace_editor_language": "perl",
     "highlightjs_language": "perl"
   },
   "test_runner": {