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 /command.c | |
| parent | 990649951e7fa34ae589a19ac686ffcc655d584b (diff) | |
| download | egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.gz egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.tar.bz2 egawk-875f2de7fd309eed6096e2f51415aa3ea3666f27.zip | |
Add --lint=no-ext to disable "xxx is a gawk extension" warnings.
Diffstat (limited to 'command.c')
0 files changed, 0 insertions, 0 deletions