diff --git a/config.json b/config.json index 0106b1d..5c93c41 100644 --- a/config.json +++ b/config.json @@ -12,7 +12,7 @@ "version": 3, "online_editor": { "indent_style": "space", - "indent_size": 4, + "indent_size": 2, "highlightjs_language": "sml" }, "test_runner": {