This repository was archived by the owner on Feb 10, 2022. It is now read-only.
This repository was archived by the owner on Feb 10, 2022. It is now read-only.
Should we use the 'repo' tool or a git submodule? #5
Instead of links to a bunch of repos one has to go and download, should we combine the repos and ask user to use the 'repo' tool? Or perhaps use git submodules?