Skip to content
Luxembourg edited this page Mar 20, 2013 · 3 revisions

$-COMMANDS

These commands are called arbitrary commands, user-defined commands, or $-commands (for how they are defined). See 'arbitrary commands' for the full description.

Related Topics: arbitrary commands

Clone this wiki locally