Skip to content
This repository was archived by the owner on Apr 14, 2022. It is now read-only.

Handle goto definition of unknown types better - #1831

Merged
Mikhail Arkhipov (MikhailArkhipov) merged 23 commits into
microsoft:masterfrom
MikhailArkhipov:pyidef
Dec 10, 2019
Merged

Handle goto definition of unknown types better#1831
Mikhail Arkhipov (MikhailArkhipov) merged 23 commits into
microsoft:masterfrom
MikhailArkhipov:pyidef

PR feedback

cf3c0dd
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs