diff options
author | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
---|---|---|
committer | Arnold D. Robbins <arnold@skeeve.com> | 2019-05-22 20:59:05 +0300 |
commit | 875f2de7fd309eed6096e2f51415aa3ea3666f27 (patch) | |
tree | 9b0b073f5f522c560fbb4538a8d8d891f74ca903 /doc/api-figure2.txt | |
parent | 990649951e7fa34ae589a19ac686ffcc655d584b (diff) | |
download | gawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.gz |
Add --lint=no-ext to disable "xxx is a gawk extension" warnings.
Diffstat (limited to 'doc/api-figure2.txt')
0 files changed, 0 insertions, 0 deletions