]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
[3.14] GH-145000: Add a tool to record/check removed HTML IDs (GH-145001) (GH-145212)
authorMiss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Thu, 26 Feb 2026 12:16:50 +0000 (13:16 +0100)
committerGitHub <noreply@github.com>
Thu, 26 Feb 2026 12:16:50 +0000 (13:16 +0100)
commitff365ebe98f8e8317403869f6e95c82922ed305c
treeedb140383ca4b981290d2928aaf6d9062d9414c3
parenta7beca8ae3168f1bf191a6be5a2ee5a3009c88c2
[3.14] GH-145000: Add a tool to record/check removed HTML IDs (GH-145001) (GH-145212)

(cherry picked from commit 9b22261a86b54f198225426e86390ef8dd85e091)

Co-authored-by: Petr Viktorin <encukou@gmail.com>
Doc/.ruff.toml
Doc/Makefile
Doc/tools/check-html-ids.py [new file with mode: 0644]