[SR-Users] is there help on mi commands in sercmd?

[Juha Heinanen]

Daniel-Constantin Mierla writes:

> there is a MI command listing all MI commands available at that time:
> which.

ok, i didn't know about that.  perhaps better name would be 'help'
because at top level that name is used for listing.

-- juha