Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Change submodule names to match the name of the corresponding github repository, which is easier to remember than using the full path where the submodule is (or used to be) checked out.
- Loading branch information