tree 1356e1f9d4b6846cabee9400ca1cf7fedb73c94a
parent 1f365701b32fbf657fc8277d1fee3656f2501383
author Luis Hector Chavez <lhchavez@google.com> 1521132848 -0700
committer Luis Hector Chavez <lhchavez@google.com> 1521132954 -0700

Add a way to override the revision of an <extend-project>

This change adds support for the 'revision' attribute in
<extend-project>. This avoids the need to perform a <remove-project>
followed by a <project> in local manifests.

Change-Id: Id2834fcfc1ae0d74b3347bed3618f250bf696b1f