diff options
author | Sergio Benitez <SergioBenitez@users.noreply.github.com> | 2021-06-24 05:09:00 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-06-24 08:09:00 -0400 |
commit | 5bf74362b93561cad671e747bb1e4b56ac13e129 (patch) | |
tree | 0a53da44ced9bc799bd71149b0e95e7498a67412 | |
parent | 431ea386206da2c9c2f73bd8119345191b679f78 (diff) |
doc: fix typo in --glob flag docs
PR #1899
-rw-r--r-- | crates/core/app.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/crates/core/app.rs b/crates/core/app.rs index 96801194..fb257d6c 100644 --- a/crates/core/app.rs +++ b/crates/core/app.rs @@ -1395,7 +1395,7 @@ it. If multiple globs match a file or directory, the glob given later in the command line takes precedence. As an extension, globs support specifying alternatives: *-g ab{c,d}* is -equivalet to *-g abc -g abd*. Empty alternatives like *-g ab{,c}* are not +equivalent to *-g abc -g abd*. Empty alternatives like *-g ab{,c}* are not currently supported. Note that this syntax extension is also currently enabled in gitignore files, even though this syntax isn't supported by git itself. ripgrep may disable this syntax extension in gitignore files, but it will |