diff options
author | Kevin Peng <kkpengboy@gmail.com> | 2016-12-04 02:58:02 -0800 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2016-12-05 14:18:48 -0700 |
commit | 20b786eb2598ac10c9743535b65611ce808c8d71 (patch) | |
tree | 6090ff733fd6d36b527b393438b41c11fb824457 /scripts/check_00index.sh | |
parent | aad800403a8761073511abb93075738302983956 (diff) |
Docs: change sh -> awk in REPORTING-BUGS
scripts/ver_linux has been rewritten as an awk script; update
documentation to reflect this fact.
Signed-off-by: Kevin Peng <kkpengboy@gmail.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'scripts/check_00index.sh')
0 files changed, 0 insertions, 0 deletions