]>
| author | Petr Viktorin <encukou@gmail.com> | |
| Wed, 25 Feb 2026 12:37:59 +0000 (13:37 +0100) | ||
| committer | GitHub <noreply@github.com> | |
| Wed, 25 Feb 2026 12:37:59 +0000 (13:37 +0100) | ||
| commit | 9b22261a86b54f198225426e86390ef8dd85e091 | |
| tree | 1e8c302cfad6f297a4129c55d8a51d1519ced51b | tree | snapshot |
| parent | f8ce51a52209aa04c781d20fe0778247df5a465b | commit | diff |
| Doc/.ruff.toml | diff | blob | blame | history | |
| Doc/Makefile | diff | blob | blame | history | |
| Doc/tools/check-html-ids.py | [new file with mode: 0644] | blob |