diff options
| author |  kwzrd <[email protected]> | 2020-08-04 18:13:37 +0200 |
|---|---|---|
| committer | kwzrd <[email protected]> | 2020-08-04 18:34:52 +0200 |
| commit | f0e0dcc599f974bb563e298199fcf5a76b1cfbe7 (patch) | |
| tree | 1bec07e2d2247ecab6c8b8334a8062c3829fdaca /Pipfile | |
| parent | Verification: define time constants (diff) | |
Verification: implement `check_users` coroutine
See docstring for details. The coroutine will be registered as a task
at a later point.
Diffstat (limited to 'Pipfile')
0 files changed, 0 insertions, 0 deletions