diff options
Diffstat (limited to 'chardev')
| -rw-r--r-- | chardev/trace-events | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/chardev/trace-events b/chardev/trace-events index 5ea4408207..027107b0c1 100644 --- a/chardev/trace-events +++ b/chardev/trace-events @@ -1,4 +1,4 @@ -# See docs/devel/tracing.txt for syntax documentation. +# See docs/devel/tracing.rst for syntax documentation. # wctablet.c wct_init(void) "" |