android/tools_repo — pull request #2 by spaarc (2011-10-10 06:09:38+00:00)
Title: Edited repo via GitHub

This has been requested so that developers can Sync the Source without obstruction of android.git.kernel.org