diff options
Diffstat (limited to 'monitor')
| -rw-r--r-- | monitor/trace-events | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/monitor/trace-events b/monitor/trace-events index 348dcfca9b..032d1220e1 100644 --- a/monitor/trace-events +++ b/monitor/trace-events @@ -1,4 +1,4 @@ -# See docs/devel/tracing.txt for syntax documentation. +# See docs/devel/tracing.rst for syntax documentation. # hmp.c handle_hmp_command(void *mon, const char *cmdline) "mon %p cmdline: %s" |