This repository has been archived by the owner on Jan 2, 2021. It is now read-only.

Deprecate ghcide tool and delete the VSCode extension#939

Merged

pepeiborra merged 2 commits intomasterfrom deprecate-ghcide-tool

Dec 8, 2020

+8-938

Commits on Dec 6, 2020

Delete the extension and deprecate ghcide as an end user tool
pepeiborra
committed

Commits on Dec 8, 2020

Link to this PR
pepeiborra
committed