commit | dde09253b9d88979dfe078a256c1107f5e8c8b28 | [log] [tgz] |
---|---|---|
author | Jorge Moreira Broche <jemoreira@google.com> | Thu Aug 22 00:16:08 2019 +0000 |
committer | Jorge E. Moreira <jemoreira@google.com> | Thu Aug 22 16:55:17 2019 -0700 |
tree | 9d199be6379d36a29e7da599c848903bc587c07a | |
parent | d1b658cfc256a26ff4e6c596ff8a1fbed2c06d53 [diff] |
DO NOT MERGE Revert "Revert "Delete unused mk files"" This reverts commit 11c8f4fc1aed6436ded8bea5e66126f9228949b5. Reason for revert: The files still need to be deleted, but the change should not be merged further. Bug: 139763357 Change-Id: I9186912b2b9e9526663f0b69b8674e1a3e810eac