commit | 3978a33242e150061365a33311e1b09c223e1011 | [log] [tgz] |
---|---|---|
author | Jeffrey Vander Stoep <jeffv@google.com> | Tue Apr 07 20:57:29 2015 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Tue Apr 07 20:57:30 2015 +0000 |
tree | 3725db17950fb8676e8a81a02f7b08cfa26c7264 | |
parent | 14170b5ed9f0fc06e0398ae07f369a8d25a734b2 [diff] | |
parent | 8edab60d7dd8485ccb4b5c9b9e8fe4e8d6daf939 [diff] |
Merge "checkpolicy: Fix precedence between number and filesystem tokens."