| commit | 02f82964391828c6db057f3d011de6efa3409070 | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Wed May 16 23:07:47 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Wed May 16 23:07:47 2018 +0000 |
| tree | f7deaaa746bafebc82f04645ef8989307d504ea5 | |
| parent | 15ee49d106ebd506b4da3b4f81396b1c7499b621 [diff] | |
| parent | fdec2530ef85f5d0efd2e1621f4369f0c43d5e27 [diff] |
Merge "Allow to specify platform sepolicy dir mult. times"