Rename the runtime-settable options to use a consistent style#1073

Merged

robdockins merged 3 commits intomasterfrom standardize-set

Feb 16, 2021

+66-52

Commits on Feb 11, 2021

Rename the runtime-settable options to use a consistent style.
robdockins
committed
Update command-line help to include the EDITOR environment variable.
robdockins
committed

Commits on Feb 12, 2021

Update option names in documentation
robdockins
committed