Rmargin

The command set rmargin sets the size of the right margin. Please see set margin (p. [*]) for details.

Build Daemon 2017-10-25