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

[3.4] Emphasize lines with things to replace in autostart guides (#5548) (#5726)

Browse Source 
* Emphasize lines with things to replace in autostart guides

* Use 'default' pygments style instead
(cherry picked from commit 669f3e3073)

Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com>

Co-authored-by: jack1142 <6032823+jack1142@users.noreply.github.com>
This commit is contained in:
Red-GitHubBot
2022-06-02 12:46:34 +02:00
committed by GitHub
parent a3a6e5cbaf
commit 65779cf70b
3 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
docs/conf.py
View File

@@ -95,7 +95,7 @@ exclude_patterns = [
]
# The name of the Pygments (syntax highlighting) style to use.
pygments_style = "sphinx"
pygments_style = "default"
# If true, `todo` and `todoList` produce output, else they produce nothing.
todo_include_todos = False