| commit | 0708974d85df2b7a1a5229627ce8532bd8c07dc8 | [log] [tgz] |
|---|---|---|
| author | Dave Rodgman <dave.rodgman@arm.com> | Wed Apr 07 15:27:44 2021 +0100 |
| committer | GitHub <noreply@github.com> | Wed Apr 07 15:27:44 2021 +0100 |
| tree | 04ad1d1d733d7c5746e027dca73400df3dde8dfd | |
| parent | b42025977706261ac51442f90a0a0c72a852b9a8 [diff] | |
| parent | 95caad37430dbd58dcc772dfdb5044edfa6e8245 [diff] |
Merge pull request #4309 from daverodgman/check-names-grep-backport Make check-names.sh accept any grep