Logo
Explore Help
Register Sign In
CopyBot/Red-DiscordBot
1
0
Fork 0
You've already forked Red-DiscordBot
mirror of https://github.com/Cog-Creators/Red-DiscordBot.git synced 2025-12-08 02:12:32 -05:00
Code Issues Packages Projects Releases Wiki Activity
Files
7197952795f97b4783a6dd0719a5217347403487
Red-DiscordBot/redbot
History
Red-GitHubBot 7197952795 [3.4] [Downloader] Fix formatting for red version requirement notices (#5183) (#5252)
(cherry picked from commit 49cc9374d4)

Co-authored-by: Kreusada <67752638+Kreusada@users.noreply.github.com>

Co-authored-by: Kreusada <67752638+Kreusada@users.noreply.github.com>
2021-09-08 20:16:42 +02:00
..
cogs
[3.4] [Downloader] Fix formatting for red version requirement notices (#5183) (#5252)
2021-09-08 20:16:42 +02:00
core
[3.4] Refined debuginfo (#5156) (#5248)
2021-09-08 20:09:09 +02:00
pytest
Update ambiguous oid parsing to detect candidates on Git 2.31+ (#4897)
2021-03-24 00:52:52 +01:00
vendored
Update discord-ext-menus vendor to commit 84caae8038d0d3adc860957ccef05baeec2e2dd8 (#4167)
2020-08-06 17:44:40 +01:00
__init__.py
Version bump to 3.4.13.dev1 (#5147)
2021-06-17 20:42:58 +02:00
__main__.py
Ensure nothing initializes colorama when it isn't needed (#5063)
2021-05-20 10:31:27 +02:00
launcher.py
minimize the launcher (#3289)
2020-01-09 08:51:17 -05:00
logging.py
Various improvements in usage of Rich in Red (#4726)
2021-02-11 14:20:10 -07:00
meta.py
[V3 Core Commands] Refactor some commands for testing/RPC (#1691)
2018-06-02 10:49:59 +10:00
py.typed
Start making use of typehints for devs (#3335)
2020-01-13 09:46:05 -05:00
setup.py
Ensure nothing initializes colorama when it isn't needed (#5063)
2021-05-20 10:31:27 +02:00
Powered by Gitea Version: 1.25.2+6-g45cdc5d8fd Page: 327ms Template: 5ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API