We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent e726dfe commit 543d2bcCopy full SHA for 543d2bc
.gitmodules
@@ -10,5 +10,5 @@
10
# rm -rf path_to_submodule
11
[submodule "ghcide"]
12
path = ghcide
13
- # url = https://github.com/digital-asset/ghcide.git
14
- url = https://github.com/alanz/ghcide.git
+ url = https://github.com/digital-asset/ghcide.git
+ # url = https://github.com/alanz/ghcide.git
0 commit comments