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 | afd767103ee2b80a67beb6e5c4fa94dd025f6a75 (patch) | |
tree | 03ee3372b124fc2fdc6c58d3a8ab3184dd7b7481 /tests/update_manpages.py | |
parent | b240d28bc065b94ea91383f58e7d55494d2691c1 (diff) | |
download | git-repo-afd767103ee2b80a67beb6e5c4fa94dd025f6a75.tar.gz |
repo_trace: adjust formatting, update man page.
No behavior change in this CL.
Change-Id: Iab1eb01864ea8a5aec3a683200764d20786b42de
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/351474
Tested-by: LaMont Jones <lamontjones@google.com>
Reviewed-by: Xin Li <delphij@google.com>
Diffstat (limited to 'tests/update_manpages.py')
0 files changed, 0 insertions, 0 deletions