Skip to content

ghcide: drop ghc-check and ghc-paths dependency#4291

Merged
michaelpj merged 4 commits intomasterfrom
wip/no-ghc-check
Jun 9, 2024
Merged

ghcide: drop ghc-check and ghc-paths dependency#4291
michaelpj merged 4 commits intomasterfrom
wip/no-ghc-check

Commits

Commits on Jun 8, 2024

Commits on Jun 9, 2024