ivan19871002/android_local_manifest — pull request #3 by pikachukaki (2013-05-14 20:58:41+00:00)
Title: fix repo sync error

After repo sync remove-project causes error fatal: remove-project element specifies non-existent project