Mike Edmunds 0e020b21e2 Docs: update tooling ...

- Latest Sphinx 7.4.x
  (current sphinx-rtd-theme 2.x isn't yet compatible with Sphinx 8)
- Bump Pygments
- Update Python intersphinx to link to latest Python 3

2024-09-08 16:16:51 -07:00

154 B

Raw Permalink Blame History

View Raw