mirror of
https://gitea.com/gitea/docs.git
synced 2026-09-20 04:58:52 +00:00
Rename develop -> development, contribute -> contributing, administer -> administration (#23662)
backport #23629 To make versioned documentation less surprising, 1.19 should have the same technology.
This commit is contained in: