commit | f0723588de38100c49f73bbdbd7e0126200372f8 | [log] [tgz] |
---|---|---|
author | Oliver Nguyen <olivernguyen@google.com> | Mon Jul 29 17:37:30 2019 +0000 |
committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Mon Jul 29 17:37:30 2019 +0000 |
tree | 81f37b99ca033984a538570c76f9758e81a0d667 | |
parent | 9f26142f3a3850082fb4d03a34da3201438076b0 [diff] | |
parent | 05b1c06a91b54321bd2b329916ea0702a020d12e [diff] |
Merge "Change coverage dump to specify the output file instead of directory."