diff options
| author | Jonathan Corbet <[email protected]> | 2022-09-27 10:45:50 -0600 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2022-10-13 11:14:43 -0600 |
| commit | df19817f3ff3de28e87139b6d172c0094402e1f2 (patch) | |
| tree | 730a73d02d82061ec3b678fc5d6461a5b22c8424 /tools/perf/scripts/python/netdev-times.py | |
| parent | 26d797ffc1c06f05ccc06f70977ebe386d628f14 (diff) | |
docs: sphinx-pre-install: don't require the RTD theme
We don't default to the RTD theme anymore, so sphinx-pre-install need not
insist on installing it.
Acked-by: Mauro Carvalho Chehab <[email protected]>
Signed-off-by: Jonathan Corbet <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/netdev-times.py')
0 files changed, 0 insertions, 0 deletions