diff options
| author |  MarkKoz <[email protected]> | 2020-09-22 15:56:02 -0700 |
|---|---|---|
| committer | MarkKoz <[email protected]> | 2020-09-22 15:56:02 -0700 |
| commit | 6c918781fa9f65b8aaa3056f9f570cd08583f598 (patch) | |
| tree | 4eed53457d0ca5b090b7306617115a24e44cd759 /Pipfile | |
| parent | Constants: remove staff_channels (diff) | |
| parent | Merge pull request #1061 from python-discord/feat/frontend/533/mod-log-names (diff) | |
Merge branch 'master' into feat/info/1125/user-cmd-whitelist-modmail
Diffstat (limited to 'Pipfile')
| -rw-r--r-- | Pipfile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -7,13 +7,14 @@ name = "pypi" aio-pika = "~=6.1" aiodns = "~=2.0" aiohttp = "~=3.5" +aioping = "~=0.3.1" aioredis = "~=1.3.1" +"async-rediscache[fakeredis]" = "~=0.1.2" beautifulsoup4 = "~=4.9" colorama = {version = "~=0.4.3",sys_platform = "== 'win32'"} coloredlogs = "~=14.0" deepdiff = "~=4.0" discord.py = "~=1.4.0" -fakeredis = "~=1.4" feedparser = "~=5.2" fuzzywuzzy = "~=0.17" lxml = "~=4.4" |