diff options
| author | Mike Frysinger <vapier@google.com> | 2022-07-10 05:15:19 -0400 |
|---|---|---|
| committer | Mike Frysinger <vapier@google.com> | 2022-07-11 16:42:23 +0000 |
| commit | d47d9ff1cbb33da4b3e37bc524c58feef6866b7a (patch) | |
| tree | a474722189661648f2c3f2a9591c17ea93db2e8e /man/repo.1 | |
| parent | 68d69635c7bfef6ed8a5c7e29246265611471e0f (diff) | |
| download | git-repo-d47d9ff1cbb33da4b3e37bc524c58feef6866b7a.tar.gz | |
man: regenerate
Change-Id: I3ca8ca8f502605b194ebe65b315eda08c51592a6
Reviewed-on: https://gerrit-review.googlesource.com/c/git-repo/+/340494
Reviewed-by: LaMont Jones <lamontjones@google.com>
Tested-by: Mike Frysinger <vapier@google.com>
Diffstat (limited to 'man/repo.1')
| -rw-r--r-- | man/repo.1 | 5 |
1 files changed, 4 insertions, 1 deletions
| @@ -1,5 +1,5 @@ | |||
| 1 | .\" DO NOT MODIFY THIS FILE! It was generated by help2man. | 1 | .\" DO NOT MODIFY THIS FILE! It was generated by help2man. |
| 2 | .TH REPO "1" "November 2021" "repo" "Repo Manual" | 2 | .TH REPO "1" "July 2022" "repo" "Repo Manual" |
| 3 | .SH NAME | 3 | .SH NAME |
| 4 | repo \- repository management tool built on top of git | 4 | repo \- repository management tool built on top of git |
| 5 | .SH SYNOPSIS | 5 | .SH SYNOPSIS |
| @@ -43,6 +43,9 @@ filename of event log to append timeline to | |||
| 43 | .TP | 43 | .TP |
| 44 | \fB\-\-git\-trace2\-event\-log\fR=\fI\,GIT_TRACE2_EVENT_LOG\/\fR | 44 | \fB\-\-git\-trace2\-event\-log\fR=\fI\,GIT_TRACE2_EVENT_LOG\/\fR |
| 45 | directory to write git trace2 event log to | 45 | directory to write git trace2 event log to |
| 46 | .TP | ||
| 47 | \fB\-\-submanifest\-path\fR=\fI\,REL_PATH\/\fR | ||
| 48 | submanifest path | ||
| 46 | .SS "The complete list of recognized repo commands is:" | 49 | .SS "The complete list of recognized repo commands is:" |
| 47 | .TP | 50 | .TP |
| 48 | abandon | 51 | abandon |
