On 10/15/2013 05:52 PM, Joshua Brindle wrote:
> While trying to check out a tree without devices I discovered that the
> seandroid local_manifest.xml does not include groups, so using repo init
> -gdefault,-device had not effect. Something like the attached fixes the
> situation (there are other groups, such as pdk that would apply to other
> projects that I did not add).
> 
> This is relative to the seandroid-4.3_r3 branch.

Thanks, applied.



--
This message was distributed to subscribers of the seandroid-list mailing list.
If you no longer wish to subscribe, send mail to [email protected] with
the words "unsubscribe seandroid-list" without quotes as the message.

Reply via email to