summaryrefslogtreecommitdiffstats
path: root/tools/docs/gen-redirects.py
AgeCommit message (Expand)AuthorLines
2025-09-09docs: add tools/docs/gen-redirects.pyVegard Nossum-0/+54
generated by cgit v1.2.3 (git 2.46.0) at 2026-03-16 19:57:45 +0000