Autogenerated HTML docs for v2.21.0-498-g14c0f8

1 files changed, 2 insertions, 2 deletions

diff --git a/gitrevisions.html b/gitrevisions.html
index eec91918e..04363863b 100644
--- a/gitrevisions.html
+++ b/gitrevisions.html
@@ -862,7 +862,7 @@ when you run <code>git merge</code>.
 <code>CHERRY_PICK_HEAD</code> records the commit which you are cherry-picking

 when you run <code>git cherry-pick</code>.</p></div>

 <div class="paragraph"><p>Note that any of the <em>refs/*</em> cases above may come either from

-the <em>$GIT_DIR/refs</em> directory or from the <em>$GIT_DIR/packed-refs</em> file.

+the <code>$GIT_DIR/refs</code> directory or from the <code>$GIT_DIR/packed-refs</code> file.

 While the ref name encoding is unspecified, UTF-8 is preferred as

 some output processing may assume ref names in UTF-8.</p></div>

 </li>

@@ -948,7 +948,7 @@ some output processing may assume ref names in UTF-8.</p></div>
   <code>git push</code> were run while <code>branchname</code> was checked out (or the current

   <code>HEAD</code> if no branchname is specified). Since our push destination is

   in a remote repository, of course, we report the local tracking branch

-  that corresponds to that branch (i.e., something in <em>refs/remotes/</em>).

+  that corresponds to that branch (i.e., something in <code>refs/remotes/</code>).

 </p>

 <div class="paragraph"><p>Here&#8217;s an example to make it more clear:</p></div>

 <div class="listingblock">