diff options
| author | David Else | 2023-08-21 19:26:32 +0000 |
|---|---|---|
| committer | GitHub | 2023-08-21 19:26:32 +0000 |
| commit | 454b61cb21de818b83f89de9e31f62fad70bb1b2 (patch) | |
| tree | c0eb98b64dff8535200b1cba9dfdc66e4585a9a4 /shell.nix | |
| parent | 0cc94cd87a7db287a617b60b0a3f444362cf173c (diff) | |
Update pyright config to avoid time-outs (#8032)
Diffstat (limited to 'shell.nix')
0 files changed, 0 insertions, 0 deletions