CopyBot/Red-DiscordBot
1
0
Fork 0
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-11-06 03:08:55 -05:00
Code Issues Packages Projects Releases Wiki Activity

Fix broken "Edit on GitHub" URLs in docs (#6258)

Browse Source
This commit is contained in:
Jakub Kuczys 2023-11-06 22:00:36 +01:00 committed by GitHub
parent 6c4a5e5407
commit ca84cc9c2a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
docs/conf.py
View File

@ -138,7 +138,7 @@ html_context = {
"display_github": True, "display_github": True,
"github_user": "Cog-Creators", "github_user": "Cog-Creators",
"github_repo": "Red-DiscordBot", "github_repo": "Red-DiscordBot",
"github_version": "V3/develop/docs/", "github_version": "V3/develop",
} }
# Add any paths that contain custom static files (such as style sheets) here, # Add any paths that contain custom static files (such as style sheets) here,