From b0e7efe6a5fa69874cd31d43f52aa6f6a11b922f Mon Sep 17 00:00:00 2001
From: Alan Christian <alancsystem@gmail.com>
Date: Thu, 12 Jan 2023 17:40:04 -0300
Subject: [PATCH] description different from JSON real default (#2680)

* description different from JSON real default

* fix wrong line
---
 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 4a52121a..ff9108d9 100644
--- a/runtime/help/options.md
+++ b/runtime/help/options.md
@@ -462,7 +462,7 @@ so that you can see what the formatting should look like.
     "filetype": "unknown",
     "incsearch": true,
     "ftoptions": true,
-    "ignorecase": false,
+    "ignorecase": true,
     "indentchar": " ",
     "infobar": true,
     "initlua": true,