diff options
| author | Carl Worth <cworth@cworth.org> | 2011-11-01 13:47:26 -0700 |
|---|---|---|
| committer | José Fonseca <jose.r.fonseca@gmail.com> | 2011-11-03 11:47:09 +0000 |
| commit | 68f7c981ac5dedf2084d617f079f290edb6693cb (patch) | |
| tree | 998d2a751342d5df580eaa95147eeed68a5cf0b6 /gui | |
| parent | 67528023641345f3439a2ba75e11cd1a31157fcf (diff) | |
Give CLI command names a _command prefix
This is just to set things up for a trace_command command, (which
cannot be named "trace" since that would conflict with "namespace
trace").
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions