Stefano Garzarella
d0fb9657a3
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>
2021-06-02 06:51:09 +02:00
..
2021-03-09 06:03:53 +01:00
2021-01-08 15:13:38 +00:00
2020-09-18 14:12:32 -04:00
2021-05-12 04:06:50 -04:00
2020-05-31 13:56:46 +02:00
2020-05-31 13:56:46 +02:00
2021-03-16 14:19:54 -04:00
2020-07-14 22:22:22 +02:00
2021-05-20 17:10:09 +02:00
2018-08-23 18:46:25 +02:00
2021-01-12 12:38:03 +01:00
2021-02-25 14:14:33 +01:00
2021-05-04 11:37:26 +03:00
2021-03-09 22:14:26 +01:00
2020-02-07 15:15:16 +01:00
2020-02-07 15:15:16 +01:00
2020-11-15 17:04:40 +01:00
2020-08-21 06:30:06 -04:00
2020-10-05 10:59:06 +01:00
2020-10-04 18:36:23 +02:00
2021-05-14 10:26:18 -04:00
2020-09-17 20:37:55 +02:00
2020-08-21 06:18:30 -04:00
2020-09-09 17:17:00 +01:00
2020-12-15 12:53:15 -05:00
2021-05-01 11:45:35 -07:00
2021-04-01 14:28:39 +02:00
2020-02-07 15:15:16 +01:00
2021-02-25 13:57:34 +01:00
2020-08-21 06:30:39 -04:00
2021-02-24 11:05:21 +00:00
2021-02-18 07:48:22 -08:00
2021-02-09 20:53:56 +00:00
2021-01-29 17:07:53 +00:00
2020-12-15 12:53:16 -05:00
2020-08-21 06:30:14 -04:00
2020-03-06 10:05:24 +00:00
2021-03-24 14:24:40 +00:00
2019-10-07 14:54:45 +02:00
2020-09-01 01:51:52 -04:00
2020-08-21 06:30:17 -04:00
2021-03-09 06:03:53 +01:00
2020-11-18 09:28:55 +01:00
2020-10-10 11:37:47 +02:00
2021-05-03 10:07:41 +02:00
2021-01-12 12:38:03 +01:00
2020-01-13 16:42:20 +00:00
2020-10-12 11:50:23 -04:00
2020-07-14 22:22:22 +02:00
2020-11-15 17:04:40 +01:00
2018-10-16 18:34:19 +02:00
2020-02-07 15:15:16 +01:00
2021-06-02 06:51:09 +02:00
2020-07-10 19:26:55 -04:00
2019-02-05 16:50:16 +01:00
2020-09-08 07:17:09 +02:00
2021-01-04 14:24:58 +00:00
2020-08-31 08:23:39 +02:00
2020-10-22 11:53:52 -04:00
2021-05-27 12:06:37 +02:00
2020-03-20 16:02:00 +01:00
2020-03-20 16:02:00 +01:00
2021-02-08 11:19:51 +00:00
2020-02-07 15:15:16 +01:00