Petr Viktorin 9b22261a86 GH-145000: Add a tool to record/check removed HTML IDs (#145001)

2026-02-25 13:37:59 +01:00

..

extensions

gh-138122: Add sampling profiler visualisation to docs (#142772)

2026-02-10 23:09:07 +00:00

static

…

templates

Docs: an "improve this page" feature (#144939)

2026-02-18 04:58:30 -05:00

.nitignore

gh-140727: Restructure profiling documentation for PEP 799 (#142373)

2025-12-09 12:55:04 +00:00

check-epub.py

…

check-html-ids.py

GH-145000: Add a tool to record/check removed HTML IDs (#145001)

2026-02-25 13:37:59 +01:00

check-warnings.py

Update pre-commit with zizmor and Ruff fixes (#143095)

2025-12-23 17:51:02 +02:00