diff options
| author |  ChrisJL <[email protected]> | 2022-06-30 15:19:47 +0100 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2022-06-30 15:19:47 +0100 |
| commit | 80a9a8c84c72a8c1c0f516b7b66732d16db39e7f (patch) | |
| tree | e6c93dca2a101070f1075a82fa0e7a58b577ca0e /scripts/version.py | |
| parent | Merge #145 - make the output size limit customisable (diff) | |
| parent | add typing-extensions to snekbox (diff) | |
Merge pull request #146 from python-discord/dawnofmidnight/typing-extensions
add typing-extensions to snekbox
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions