Wouter Deconinck 31bdcd7dc6 rtd: bump sphinx-rtd-theme to 3.0.1 (#47002)		2024-10-19 03:29:36 +02:00
..
spack	rtd: bump sphinx-rtd-theme to 3.0.1 (#47002)	2024-10-19 03:29:36 +02:00