|
templates
|
Template: better newlines for manual edit
|
2023-03-14 14:51:41 +01:00 |
|
__init__.py
|
Refactor into python module, multiple files
|
2022-10-30 11:14:38 +01:00 |
|
config.py
|
Config: read task toughness
|
2023-02-26 16:29:28 +01:00 |
|
entrypoint.py
|
Add intermed file
|
2023-03-14 17:08:55 +01:00 |
|
intermed_file.py
|
Add intermed file
|
2023-03-14 17:08:55 +01:00 |
|
partition.py
|
Partition: avoid tasks too close in time
|
2023-03-08 11:16:32 +01:00 |
|
py.typed
|
Refactor into python module, multiple files
|
2022-10-30 11:14:38 +01:00 |
|
util.py
|
Make mypy happy
|
2023-03-04 11:45:06 +01:00 |
