summaryrefslogtreecommitdiff
path: root/tools/docs/gen-redirects.py
AgeCommit message (Expand)Author
2025-09-09docs: add tools/docs/gen-redirects.pyVegard Nossum