Deprecate ghcide tool and delete the VSCode extension (haskell/ghcide…

…#939) * Delete the extension and deprecate ghcide as an end user tool * Link to this PR
pepeiborra · Dec 8, 2020 · e1a78b8 · e1a78b8
1 parent dabbcfe
commit e1a78b8
Show file tree

Hide file tree

Showing 9 changed files with 8 additions and 938 deletions.
diff --git a/extension/.gitignore b/extension/.gitignore
diff --git a/extension/.vscodeignore b/extension/.vscodeignore
diff --git a/extension/README.md b/extension/README.md