diff options
| author | Steven Arcangeli <stevearc@stevearc.com> | 2023-09-01 16:38:39 -0700 |
|---|---|---|
| committer | Steven Arcangeli <stevearc@stevearc.com> | 2023-09-01 16:38:39 -0700 |
| commit | ff7f8fdc0946d546a5a3f0617dbbf10f660dbb58 (patch) | |
| tree | 835f394deeb5148e3d39f1b1f57cd152f4205f90 /scripts/main.py | |
| parent | fb0906cbb9e305fc1e69f5ceda99f41c6dbf352e (diff) | |
tools: use local working directory for typechecking temp files
Diffstat (limited to 'scripts/main.py')
0 files changed, 0 insertions, 0 deletions