diff options
author | Tom Russello <tom.russello@grenoble-inp.org> | 2016-06-08 20:23:16 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2016-06-08 22:04:55 +0300 |
commit | ae9f6311e9c15d7968c2d03eab6e929e9c9d5f42 (patch) | |
tree | 5ca42c285904181bfd97c4ed0259421559593f9c /Documentation/git-grep.txt | |
parent | 47d81b5c7a3e7737d26b877a5cfebb772d75fa12 (diff) |
doc: change configuration variables format
This change configuration variables that where in italic style
to monospace font according to the guideline. It was obtained with
grep '[[:alpha:]]*\.[[:alpha:]]*::$' config.txt | \
sed -e 's/::$//' -e 's/\./\\\\./' | \
xargs -iP perl -pi -e "s/\'P\'/\`P\`/g" ./*.txt
Signed-off-by: Tom Russello <tom.russello@grenoble-inp.org>
Signed-off-by: Erwan Mathoniere <erwan.mathoniere@grenoble-inp.org>
Signed-off-by: Samuel Groot <samuel.groot@grenoble-inp.org>
Signed-off-by: Matthieu Moy <matthieu.moy@grenoble-inp.fr>
Reviewed-by: Matthieu Moy <Matthieu.Moy@imag.fr>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/git-grep.txt')
-rw-r--r-- | Documentation/git-grep.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/git-grep.txt b/Documentation/git-grep.txt index cb0f6cf678..40cfe37d00 100644 --- a/Documentation/git-grep.txt +++ b/Documentation/git-grep.txt @@ -51,7 +51,7 @@ grep.patternType:: grep.extendedRegexp:: If set to true, enable '--extended-regexp' option by default. This - option is ignored when the 'grep.patternType' option is set to a value + option is ignored when the `grep.patternType` option is set to a value other than 'default'. grep.threads:: |