diff options
| author | Stefano Garzarella <sgarzare@redhat.com> | 2021-05-17 17:16:58 +0200 |
|---|---|---|
| committer | Thomas Huth <thuth@redhat.com> | 2021-06-02 06:51:09 +0200 |
| commit | d0fb9657a33dd3d1db1b492c4dcc7c778e40e5c0 (patch) | |
| tree | ce28b3d7041dd800c4894749f71663c1ba30b5c0 /.gdbinit | |
| parent | 52848929b70dcf92a68aedcfd90207be81ba3274 (diff) | |
docs: fix references to docs/devel/tracing.rst
Commit e50caf4a5c ("tracing: convert documentation to rST")
converted docs/devel/tracing.txt to docs/devel/tracing.rst.
We still have several references to the old file, so let's fix them
with the following command:
sed -i s/tracing.txt/tracing.rst/ $(git grep -l docs/devel/tracing.txt)
Signed-off-by: Stefano Garzarella <sgarzare@redhat.com>
Reviewed-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-Id: <20210517151702.109066-2-sgarzare@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to '.gdbinit')
0 files changed, 0 insertions, 0 deletions