Skip to content
This repository has been archived by the owner on May 25, 2023. It is now read-only.

Commit

Permalink
Merge pull request ayamir#713 from ayamir/chore/pyright-to-jedi
Browse files Browse the repository at this point in the history
chore(settings): replace `pright` with `jedi_language_server`.

(cherry picked from commit 1d901b7)
  • Loading branch information
ayamir authored and boomker committed May 10, 2023
1 parent be49322 commit 90628f5
Showing 0 changed files with 0 additions and 0 deletions.

0 comments on commit 90628f5

Please sign in to comment.