diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2026-05-12 15:54:04 +0200 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarIT.de> | 2026-05-13 13:55:50 +0200 |
| commit | cf4d7e31c4b80316897dd9e0ff30fa6fb1c1b8a2 (patch) | |
| tree | ade146912dd8d9a6d4b5beb5657d0c66f47ad05e /.github | |
| parent | 471f2b205f98bcc1ca776a38c8bff10449c460a0 (diff) | |
[mod] update_engine_traits.py: improve type annotations
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions