diff options
| author | 2021-02-22 13:31:26 -0800 | |
|---|---|---|
| committer | 2021-02-22 13:32:07 -0800 | |
| commit | 176e534edb34a202290feba0ec73edb29f1e0e96 (patch) | |
| tree | dc911f037c01507f3737e44d93b7c4498c7d9aaf /tools/warn/java_warn_patterns.py | |
| parent | 5af98130b89afb7caa6fc383e6f79116c5b1fc8f (diff) | |
Rename rgrep to rsgrep
rgrep is a common alias for 'grep -r' and this new macro was confusing.
Test: cd external/rust/crates
rsgrep test
Change-Id: If71cdcc926455983a04a80982356e9feb61968fe
Diffstat (limited to 'tools/warn/java_warn_patterns.py')
0 files changed, 0 insertions, 0 deletions