I was waiting for someone to actually use groups....way to be a trend setter.
On Wed, Oct 16, 2013 at 5:52 AM, Stephen Smalley <[email protected]> wrote: > 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] > the words "unsubscribe seandroid-list" without quotes as the message. > -- Respectfully, William C Roberts
