docs: Remove unnecessary double-backticks in indented line.

These came in during the conversion from rST in 337155f280.
This commit is contained in:
Alex Vandiver 2020-05-05 21:28:00 -07:00 committed by GitHub
parent 50ed031f8e
commit 3a7a032ee2
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -16,7 +16,7 @@ You can run them all at once with
You can set this up as a local Git commit hook with
``tools/setup-git-repo``
tools/setup-git-repo
The Vagrant setup process runs this for you.