summaryrefslogtreecommitdiffstats
path: root/mpi
diff options
context:
space:
mode:
authorJoe Bloggs <vapniks@yahoo.com>2022-02-04 01:18:33 +0000
committerKaz Kylheku <kaz@kylheku.com>2022-02-03 22:24:57 -0800
commit55dca8cda3825e0f338584ff853a8fc78b98b328 (patch)
tree701bd4168f8db724f210b91d369bd1d02af164af /mpi
parent755cb1b066a3b9035aba9933a881d356e75697d4 (diff)
downloadtxr-55dca8cda3825e0f338584ff853a8fc78b98b328.tar.gz
txr-55dca8cda3825e0f338584ff853a8fc78b98b328.tar.bz2
txr-55dca8cda3825e0f338584ff853a8fc78b98b328.zip
getopts: make detailed help notes optional.
* stdlib/getopts.tl (opthelp): New incnotes parameter. If specified as false, disables the detailed Notes and Type legend. (sys:option-base opthelp): Same new parameter on this method, passed down to opthelp. * txr.1: Documented.
Diffstat (limited to 'mpi')
0 files changed, 0 insertions, 0 deletions