chore(docs): fix some typos (#11211)

This commit is contained in:
George Rodrigues 2022-10-03 12:03:53 -03:00 committed by GitHub
commit e0e22d1120
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
9 changed files with 10 additions and 10 deletions

View file

@ -107,7 +107,7 @@ usage() {
NAME
require_tool.sh - Ensure version of a tool is greater than the one expected
SYNOPSYS
SYNOPSIS
require_tool.sh [ -h ]
[ --help ]
[ TOOL MIN_VERSION ]