diff options
| author |   zshi <zshi@redhat.com> | 2016-10-21 19:40:05 +0800 |
|---|---|---|
| committer | zshi <zshi@redhat.com> | 2016-10-21 19:40:05 +0800 |
| commit | 5d5fe66ba391fdd94be466db09323ee0d7a8bebf (patch) | |
| tree | f749dcee809832b2edcf0aa7cfc8efbc99f01987 /docs/userguide | |
| parent | bb5d6a119196dcfeabf141cca23b6495fc5e386e (diff) | |
dovetail tool: rename report_file_path variable
the value assigned to report_file_path is a file
name, not a path.
Change-Id: I338ae2bb5e836d26c711bfa9144f16d06c08deb7
Signed-off-by: zshi <zshi@redhat.com>
Diffstat (limited to 'docs/userguide')
0 files changed, 0 insertions, 0 deletions