Use ghcide with config in shakeExtras

jneira · jneira · commit 1708ffb2170e · 2020-08-09T16:59:19.000+02:00
diff --git a/.gitmodules b/.gitmodules
@@ -14,4 +14,5 @@
 	# url = https://github.com/alanz/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
+	url = https://github.com/jneira/ghcide.git
diff --git a/ghcide b/ghcide
@@ -1 +1 @@
-Subproject commit f4ec2330ef4c3fcc706603c0e2152ce4916e376b
+Subproject commit 25f4aed5f5e66e7efe51549011e2af7ce04eb453
