haskell-ide-engine/.gitmodules
2019-04-05 17:07:12 +01:00

42 lines
1.3 KiB
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 "submodules/HaRe"]
path = submodules/HaRe
# url = https://github.com/bubba/HaRe.git
url = https://github.com/alanz/HaRe.git
[submodule "submodules/brittany"]
path = submodules/brittany
url = https://github.com/lspitzner/brittany.git
[submodule "submodules/cabal-helper"]
path = submodules/cabal-helper
# url = https://github.com/arbor/cabal-helper.git
url = https://github.com/alanz/cabal-helper.git
# url = https://github.com/DanielG/cabal-helper.git
[submodule "submodules/ghc-mod"]
path = submodules/ghc-mod
# url = https://github.com/arbor/ghc-mod.git
# url = https://github.com/bubba/ghc-mod.git
url = https://github.com/alanz/ghc-mod.git
[submodule "submodules/floskell"]
path = submodules/floskell
# url = https://github.com/alanz/floskell
url = https://github.com/bubba/floskell
[submodule "haskell-lsp"]
path = haskell-lsp
url = https://github.com/mpickering/haskell-lsp.git