From 6fb098a13839c74a03aa3cdedd1d9170dddf9c81 Mon Sep 17 00:00:00 2001
From: Michael Rossetti <s2t2@users.noreply.github.com>
Date: Mon, 19 May 2025 17:16:10 -0400
Subject: [PATCH] Update docs

---
 docs/users/configuration_file.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/docs/users/configuration_file.md b/docs/users/configuration_file.md
index 508f19e..028ed45 100644
--- a/docs/users/configuration_file.md
+++ b/docs/users/configuration_file.md
@@ -18,7 +18,7 @@ Command line interface arguments take precedence over the configuration file.
 # behavior.
 #
 wrap = "keep"         # options: {"keep", "no", INTEGER}
-number = false        # options: {false, true}
+number = false        # options: {false (all ones), true (consecutive)}
 end_of_line = "lf"    # options: {"lf", "crlf", "keep"}
 validate = true       # options: {false, true}
 # extensions = [      # options: a list of enabled extensions (default: all installed are enabled)