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

fix: error emitted from a hover provider broke other hover providers#117

Merged

attfarhan merged 3 commits intomasterfrom fa/fix-hover-clashing

Oct 31, 2018

Commits on Oct 30, 2018

fix: error emitted from a hover provider broke other hover providers
attfarhan
committed

Commits on Oct 31, 2018