From 9f4da789dbf74b6866cd60ba7da1f1f14ddaaa00 Mon Sep 17 00:00:00 2001 From: Michael Siegel Date: Sun, 25 Nov 2018 19:06:10 +0000 Subject: [PATCH] Say "syntax highlighting" instead of just "syntax" --- runtime/help/options.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/runtime/help/options.md b/runtime/help/options.md index da502ab7..f4eae597 100644 --- a/runtime/help/options.md +++ b/runtime/help/options.md @@ -198,7 +198,7 @@ Here are the options that you can set: default value: `false` -* `syntax`: turns syntax on or off. +* `syntax`: turns syntax highlighting on or off. default value: `true`