]> git.ipfire.org Git - thirdparty/Python/cpython.git/commit
GH-145000: Add a tool to record/check removed HTML IDs (#145001)
authorPetr Viktorin <encukou@gmail.com>
Wed, 25 Feb 2026 12:37:59 +0000 (13:37 +0100)
committerGitHub <noreply@github.com>
Wed, 25 Feb 2026 12:37:59 +0000 (13:37 +0100)
commit9b22261a86b54f198225426e86390ef8dd85e091
tree1e8c302cfad6f297a4129c55d8a51d1519ced51b
parentf8ce51a52209aa04c781d20fe0778247df5a465b
GH-145000: Add a tool to record/check removed HTML IDs (#145001)
Doc/.ruff.toml
Doc/Makefile
Doc/tools/check-html-ids.py [new file with mode: 0644]