Use ghcide with config in shakeExtras

jneira · jneira · commit 8c3fd4257c49 · 2020-08-12T00:24:33.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -12,6 +12,7 @@
 	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/jneira/ghcide.git
diff --git a/ghcide b/ghcide
@@ -1 +1 @@
-Subproject commit 078e3d3c0d319f83841ccbcdc60ff5f0e243f6be
+Subproject commit 25f4aed5f5e66e7efe51549011e2af7ce04eb453
