Skip to content

chore(settings): replace pright with jedi_language_server.#713

Merged
ayamir merged 1 commit intomainfrom chore/pyright-to-jediMay 6, 2023