mirror of
https://github.com/git/git.git
synced 2025-12-12 20:36:24 +01:00
doc: stripspace: mention where the default comes from
Also quote `#` in line with the modern formatting convention. Signed-off-by: Kristoffer Haugsbakk <code@khaugsbakk.name> Signed-off-by: Junio C Hamano <gitster@pobox.com>
This commit is contained in:
committed by
Junio C Hamano
parent
8613c2bb6c
commit
e2de9b354f
@@ -37,7 +37,8 @@ OPTIONS
|
||||
-------
|
||||
-s::
|
||||
--strip-comments::
|
||||
Skip and remove all lines starting with a comment character (default '#').
|
||||
Skip and remove all lines starting with a comment character
|
||||
(`core.commentChar`, default `#`).
|
||||
|
||||
-c::
|
||||
--comment-lines::
|
||||
|
||||
Reference in New Issue
Block a user