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)

Trivial merge