diff options
| author | Paul A. Patience <paul@apatience.com> | 2022-02-08 11:39:44 +0000 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2022-02-08 08:09:17 -0800 |
| commit | 061e8e5618ef445dcb133087cad74761de13070d (patch) | |
| tree | c24e3e8f3bb4c7cfb27f388f8109c5fce722a011 /y.tab.h.shipped | |
| parent | 7783f13a2994ae144c05e2bafbe8a76eef39b028 (diff) | |
| download | txr-061e8e5618ef445dcb133087cad74761de13070d.tar.gz txr-061e8e5618ef445dcb133087cad74761de13070d.tar.bz2 txr-061e8e5618ef445dcb133087cad74761de13070d.zip | |
getopts: fix superfluous options header.
* stdlib/getopts.tl (opthelp): Print the options header only if
we have documented options.
Diffstat (limited to 'y.tab.h.shipped')
0 files changed, 0 insertions, 0 deletions