diff options
author | Junio C Hamano <gitster@pobox.com> | 2022-02-17 16:40:11 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-02-17 16:40:11 -0800 |
commit | 034a2ff96f3a3aa981e5ae4e242cefa4bd00323b (patch) | |
tree | 1c5b32a38d12b6114e1c6c3552b897e87f5140b0 /git-check-ignore.html | |
parent | f1fc6ca2d27889be2f7829e15054bc8067ae9bc6 (diff) | |
download | git-htmldocs-034a2ff96f3a3aa981e5ae4e242cefa4bd00323b.tar.gz |
Autogenerated HTML docs for v2.35.1-225-ge2ac9
Diffstat (limited to 'git-check-ignore.html')
-rw-r--r-- | git-check-ignore.html | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/git-check-ignore.html b/git-check-ignore.html index 97e8479b5..bfd5a4e59 100644 --- a/git-check-ignore.html +++ b/git-check-ignore.html @@ -787,7 +787,7 @@ subject to exclude rules; but see ‘--no-index’.</p></div> Instead of printing the paths that are excluded, for each path
that matches an exclude pattern, print the exclude pattern
together with the path. (Matching an exclude pattern usually
- means the path is excluded, but if the pattern begins with <em>!</em>
+ means the path is excluded, but if the pattern begins with "<code>!</code>"
then it is a negated pattern and matching it means the path is
NOT excluded.)
</p>
@@ -851,7 +851,7 @@ ignored.</p></div> <div class="paragraph"><p><pathname> is the path of a file being queried, <pattern> is the
matching pattern, <source> is the pattern’s source file, and <linenum>
is the line number of the pattern within that source. If the pattern
-contained a <code>!</code> prefix or <code>/</code> suffix, it will be preserved in the
+contained a "<code>!</code>" prefix or "<code>/</code>" suffix, it will be preserved in the
output. <source> will be an absolute path when referring to the file
configured by <code>core.excludesFile</code>, or relative to the repository root
when referring to <code>.git/info/exclude</code> or a per-directory exclude file.</p></div>
@@ -924,7 +924,7 @@ buffer.</p></div> <div id="footer">
<div id="footer-text">
Last updated
- 2020-03-10 15:02:33 PDT
+ 2022-02-17 16:38:18 PST
</div>
</div>
</body>
|