submodules: cleanly remove unused submodules

To remove a submodule, it is not enough to remove it from .gitmodules, we also need to "git rm" it, otherwise "git submodule init" fails in new clones. Signed-off-by: Nadav Har'El <[email protected]>
cloudius-systems · Jan 22, 2020 · 8c8e0b3 · 8c8e0b3
1 parent fe61b31
commit 8c8e0b3
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 2 deletions.
diff --git a/external/x64/gcc.bin b/external/x64/gcc.bin
diff --git a/external/x64/misc.bin b/external/x64/misc.bin