diff options
| author |  Boris Muratov <[email protected]> | 2022-02-19 20:34:46 +0200 |
|---|---|---|
| committer |  GitHub <[email protected]> | 2022-02-19 20:34:46 +0200 |
| commit | 31b3543e78f38bbd393af97590090cfab638043e (patch) | |
| tree | 505c8303a6327aa76c854474708983eafdcfa52b /bot/__main__.py | |
| parent | add comments and docstrings, remove an unused variable (diff) | |
| parent | Add topics for `#programming-pedagogy` channel (diff) | |
Merge branch 'main' into feat/latex
Diffstat (limited to 'bot/__main__.py')
0 files changed, 0 insertions, 0 deletions