tree 710a35d347a08e41c20c68f795ebd94c1e1ebe0c
parent b4314f15346b05eed956c979c7d05f4732caaae3
parent ba5fc8e59397ff2d986681457ed590742ce522e8
author Jeff Sharkey <jsharkey@android.com> 1367948724 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1367948724 +0000

Merge "sepgrep -- function to grep SELinux policy files."