Skip to content

Commit

Permalink
Remove the ghcide submodule
Browse files Browse the repository at this point in the history
  • Loading branch information
pepeiborra committed Dec 29, 2020
1 parent 9ac127e commit 5f0e7aa
Show file tree
Hide file tree
Showing 2 changed files with 0 additions and 8 deletions.
7 changes: 0 additions & 7 deletions .gitmodules
Original file line number Diff line number Diff line change
Expand Up @@ -8,10 +8,3 @@
# Commit git commit -m "Removed submodule <name>"
# Delete the now untracked submodule files
# rm -rf path_to_submodule
[submodule "ghcide"]
path = ghcide
# url = https://github.com/alanz/ghcide.git
# url = https://github.com/wz1000/ghcide.git
url = https://github.com/haskell/ghcide.git
# url = https://github.com/fendor/ghcide.git
# url = https://github.com/bubba/ghcide.git
1 change: 0 additions & 1 deletion ghcide
Submodule ghcide deleted from 6de5ac

0 comments on commit 5f0e7aa

Please sign in to comment.