From: Alex Riesen <hidden> Date: 2016-06-15 22:46:23
2009/3/12 Pedro Melo [off-list ref]:
I couldn't find a git-submodule command to delete a submodule. What is the
correct procedure?
I did:
* removed the entry from .gitmodules;
* run git submodule sync
But its still recorded somewhere.