diff options
| author | 2020-12-11 02:15:37 +0000 | |
|---|---|---|
| committer | 2020-12-11 02:15:37 +0000 | |
| commit | 5571f61bc1fe630d43522cadabcc2f03ef8b23d7 (patch) | |
| tree | 2adc149baa6f4365895f619e3652aeb739e61dad /scripts/lint_project_xml.py | |
| parent | b0ed5768d30a044b90702830cd31912bcd5b6f5e (diff) | |
| parent | 405640203e0f64723bcb81145512539237666c03 (diff) | |
Merge changes I394a1b62,I6906be4c
* changes:
Add bazel metrics directory to the list of metrics files to be uploaded.
Allow uploading a directory of metrics files.
Diffstat (limited to 'scripts/lint_project_xml.py')
0 files changed, 0 insertions, 0 deletions