diff options
author | 2021-05-15 19:06:03 +0200 | |
---|---|---|
committer | 2021-05-15 19:06:03 +0200 | |
commit | c6196e542c3c81a22305edad3d2325614e7f277d (patch) | |
tree | adacdd5a588d15be3daa5b185da505506af14e69 /pydis_site/static | |
parent | Merge pull request #498 from python-discord/update-rules-api (diff) | |
parent | Replace references to Zoot with Dave, per the rebranding of that bot. (diff) |
Merge pull request #499 from python-discord/swfarnsworth/dave
Zoot -> Dave
Diffstat (limited to 'pydis_site/static')
0 files changed, 0 insertions, 0 deletions