This repository was archived by the owner on Sep 6, 2021. It is now read-only.

Fix several problems with Jump to Definition API#7226

Merged

ingorichter merged 1 commit intomasterfrom

pflynn/jump-to-def-fixes

Mar 20, 2014

Commits on Mar 18, 2014

Fix several problems with the Jump to Definition extensibility API:
peterflynn
committed

⚡