Document undocumented environment variables on --help#1335

Merged

emilk merged 1 commit intomainfrom andreas/missing-environment-variables-from-help

Feb 17, 2023

+9

Commits on Feb 16, 2023

Document undocumented environment variables on help page.
Wumpf
committed