OSDN Git Service

Merge "selinux: add tools to dev path"
authorJeff Vander Stoep <jeffv@google.com>
Fri, 12 Jun 2015 17:37:24 +0000 (17:37 +0000)
committerGerrit Code Review <noreply-gerritcodereview@google.com>
Fri, 12 Jun 2015 17:37:24 +0000 (17:37 +0000)

Trivial merge