1
0
mirror of https://github.com/BurntSushi/ripgrep.git synced 2025-04-02 20:45:38 +02:00

doc: fix typo "used" -> "use"

PR #1936
This commit is contained in:
Joe Lencioni 2021-07-14 09:12:30 -05:00 committed by GitHub
parent 699e651db2
commit 3c7819301b
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1548,7 +1548,7 @@ When specifying multiple ignore files, earlier files have lower precedence
than later files.
If you are looking for a way to include or exclude files and directories
directly on the command line, then used -g instead.
directly on the command line, then use -g instead.
"
);
let arg = RGArg::flag("ignore-file", "PATH")