diff options
| author | LaMont Jones <lamontjones@google.com> | 2022-11-10 02:31:19 +0000 |
|---|---|---|
| committer | LaMont Jones <lamontjones@google.com> | 2022-11-14 23:46:06 +0000 |
| commit | ed25be569e1c2e1c222010565c186b904eb8646c (patch) | |
| tree | 3c0b736fbe2156e857332091fd29300ced4af2b7 /tests/test_update_manpages.py | |
| parent | afd767103ee2b80a67beb6e5c4fa94dd025f6a75 (diff) | |
| download | git-repo-ed25be569e1c2e1c222010565c186b904eb8646c.tar.gz | |
repo_trace: drop notification of trace file name.
The trace file is local to the workspace. We shouldn't tell the user
that on every command that they run.
Change-Id: I8674ab485bd5142814a043a225bf8aaca7795752
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/351234
Tested-by: LaMont Jones <lamontjones@google.com>
Reviewed-by: Xin Li <delphij@google.com>
Diffstat (limited to 'tests/test_update_manpages.py')
0 files changed, 0 insertions, 0 deletions