Merge "Make lint a reserved name."
authorXavier Ducrohet <xav@android.com>
Mon, 18 Feb 2013 20:43:12 +0000 (20:43 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Mon, 18 Feb 2013 20:43:12 +0000 (20:43 +0000)
commit0194f4b2abe34544945ccbc7304a41e8e78657de
treed2938414161c63a1fe6d7e90dc195b0f68db8533
parent7fc39d4d56e48b5edf6cf399ac0b32200944ee83
parentea79d605b99ad9e10e874eb5d60bd0072ef9effe
Merge "Make lint a reserved name."