diff options
| author |  ks129 <[email protected]> | 2020-04-08 12:55:34 +0300 |
|---|---|---|
| committer | ks129 <[email protected]> | 2020-04-08 12:55:34 +0300 |
| commit | 783337b7386331226646af586dd9a2bd6b738ae2 (patch) | |
| tree | 97070bfdac9b23946685c0dd848bed34d1f70170 /bot/exts/evergreen/error_handler.py | |
| parent | (Minesweeper): Created new exception `UserNotPlayingError`. (diff) | |
(Minesweeper): Renamed user not playing error handler, changed `error` type hint from `typing.Any` to `Exception`, changed handling `KeyError` to handling `UserNotPlayingError`.
Diffstat (limited to 'bot/exts/evergreen/error_handler.py')
0 files changed, 0 insertions, 0 deletions