diff options
| author | Jordan Wiens <jordan@psifertex.com> | 2023-06-08 13:29:54 -0400 |
|---|---|---|
| committer | Jordan Wiens <jordan@psifertex.com> | 2023-06-08 13:29:54 -0400 |
| commit | 30784c736f7ed7cc796573d81021bd3ef10fded3 (patch) | |
| tree | 38c17785ec45b3b36b6881b1250ed1ecc05eecff /python/platform.py | |
| parent | 2fab2a64830643920443b2afefb210f34dcf6bfa (diff) | |
include typed file for mypy in builds
Diffstat (limited to 'python/platform.py')
0 files changed, 0 insertions, 0 deletions