diff --git a/.gitmodules b/.gitmodules index 839d96ebdc..009698acba 100644 --- a/.gitmodules +++ b/.gitmodules @@ -12,6 +12,6 @@ path = ghcide # url = https://github.com/digital-asset/ghcide.git # url = https://github.com/alanz/ghcide.git - # url = https://github.com/wz1000/ghcide.git + url = https://github.com/wz1000/ghcide.git # url = https://github.com/fendor/ghcide.git - url = https://github.com/bubba/ghcide.git + # url = https://github.com/bubba/ghcide.git diff --git a/ghcide b/ghcide index f4ec2330ef..078e3d3c0d 160000 --- a/ghcide +++ b/ghcide @@ -1 +1 @@ -Subproject commit f4ec2330ef4c3fcc706603c0e2152ce4916e376b +Subproject commit 078e3d3c0d319f83841ccbcdc60ff5f0e243f6be