Rev 3373 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed
{
"exit",
"Exit the shell",
&cmd_quit,
&help_cmd_quit,
},