haskell-language-server/.gitmodules
Alan Zimmerman 08435a7409 Experimental multi-component support
Based on ghcide with

    mpickering/wip/multi-rebase

rebased onto

    pepeiborra/interface-files-0.1.0.0-rebased-once-more
2020-03-21 21:01:01 +00:00

15 lines
585 B
Plaintext

# To remove a submodule you need to:
#
# Delete the relevant section from the .gitmodules file.
# Stage the .gitmodules changes git add .gitmodules
# Delete the relevant section from .git/config.
# Run git rm --cached path_to_submodule (no trailing slash).
# Run rm -rf .git/modules/path_to_submodule
# 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/digital-asset/ghcide.git
url = https://github.com/alanz/ghcide.git