Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update protocol on git submodule URLs
Not everywhere the needed ssh/git ports are available (e.g. behind firewall). Changing the protocol to https:// allows for easier cloning of the repository.
- Loading branch information