mirror of
https://github.com/Cog-Creators/Red-DiscordBot.git
synced 2026-04-23 19:48:08 -04:00
eb3b6346bb
* [V3] set access before deleting * [V3] move+rename do_delete and use in repo removal in downloader