diff options
| author |  Rohan Reddy Alleti <[email protected]> | 2020-09-25 15:32:18 +0530 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2020-09-25 15:32:18 +0530 |
| commit | 06293df053577dd6ca03a39f4675e8d724d252b0 (patch) | |
| tree | 4f224cf2931d6d3c62cdcf2def38f87e6f12603f /Pipfile | |
| parent | Update users on bot start via HTTP PATCH method and send only user ID and the... (diff) | |
| parent | Merge pull request #1171 from python-discord/kwzrd/log-levels (diff) | |
Merge branch 'master' into smart_syncing_users
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" |