8000 feat: re-use pyright config by tjdevries · Pull Request #77 · sourcegraph/scip-python · GitHub
[go: up one dir, main page]
Skip to content

feat: re-use pyright config#77

Merged
tjdevries merged 9 commits intoscipfrom
reuse-pyright-config
May 3, 2023
Merged

feat: re-use pyright config#77
tjdevries merged 9 commits intoscipfrom
reuse-pyright-config

Commits

Commits on May 1, 2023

Commits on May 3, 2023
0