sources
|
Some typings, to improve compatibility with pyright
|
2024-06-18 02:23:19 +02:00 |
entry.py
|
Changed to 100 char line limit, changed to ruff
|
2023-11-01 18:09:24 +01:00 |
gui.py
|
Some typings, to improve compatibility with pyright
|
2024-06-18 02:23:19 +02:00 |
jsonencoder.py
|
Experiments and prepatations for gui
|
2023-11-05 22:37:16 +01:00 |
py.typed
|
Preparation for 2.0 release
|
2023-12-18 18:56:03 +01:00 |
queue.py
|
Changed to 100 char line limit, changed to ruff
|
2023-11-01 18:09:24 +01:00 |
result.py
|
79 char limit
|
2022-12-05 23:57:42 +01:00 |