Regenerate command line reference for PR #7540#12

jarcherNV merged 1 commit intojarcherNV:jarcher-dev-issue-7539jarcherNV/slang:jarcher-dev-issue-7539from

slangbot:regenerate-cmdline-ref-7540-jarcher-dev-issue-7539slangbot/slang:regenerate-cmdline-ref-7540-jarcher-dev-issue-7539Copy head branch name to clipboard