diff options
author | 2019-05-28 17:09:06 -0400 | |
---|---|---|
committer | 2019-05-28 17:09:06 -0400 | |
commit | 5a94891a198a50308637822eaaeca4e61469609f (patch) | |
tree | e1b9e93bd722eeb1b889566ae549bc5d22d22c41 /bot/bot.py | |
parent | Relint Seasonalbot with new linting rules (diff) | |
parent | Merge pull request #211 from RohanRadia/master (diff) |
Merge branch 'master' into docstring-lint-change
Diffstat (limited to 'bot/bot.py')
0 files changed, 0 insertions, 0 deletions