OSDN Git Service

Merge "Remove obsolete CUSTOM_KERNEL_HEADERS."
authorElliott Hughes <enh@google.com>
Sat, 11 Jan 2014 00:41:24 +0000 (00:41 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Sat, 11 Jan 2014 00:41:25 +0000 (00:41 +0000)
commit37c699c28a464561b186ab11a5af60214ae25d9a
tree398f518d2205ef6425b0cbc099983fb95114af1d
parent987616ed09adc65e6636f7a3a82fa7b38021b6e2
parentdddb566eba8cd666b6f3b70067e77acb4e1656de
Merge "Remove obsolete CUSTOM_KERNEL_HEADERS."