Skip to content

Register Jedi regardless of what language server is configured#15452

Merged
karrtikr merged 2 commits into
microsoft:mainfrom
karrtikr:jedilsks
Feb 19, 2021
Merged

Register Jedi regardless of what language server is configured#15452
karrtikr merged 2 commits into
microsoft:mainfrom
karrtikr:jedilsks

Commits

Commits on Feb 18, 2021