2f43fddb41 · Modified .gitmodules so that Vundle is obtained from my git server repo, rather than from GitHub, since GitHub took the main Vundle repo down the other day (\!). · Updated 3 years ago
Deleting a branch is permanent. It CANNOT be undone. Continue?
