This repository was archived by the owner on Jul 11, 2019. It is now read-only.

Removes repo_clone shell script that's no longer used.