haskell-ide-engine/.gitmodules

11 lines
453 B
Plaintext
Raw Normal View History

2018-12-06 17:00:12 +03:00
# 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