summaryrefslogtreecommitdiffstats
path: root/man/repo.1
diff options
context:
space:
mode:
Diffstat (limited to 'man/repo.1')
-rw-r--r--man/repo.16
1 files changed, 5 insertions, 1 deletions
diff --git a/man/repo.1 b/man/repo.1
index bdb705d4..e7368a84 100644
--- a/man/repo.1
+++ b/man/repo.1
@@ -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" "July 2022" "repo" "Repo Manual" 2.TH REPO "1" "November 2022" "repo" "Repo Manual"
3.SH NAME 3.SH NAME
4repo \- repository management tool built on top of git 4repo \- repository management tool built on top of git
5.SH SYNOPSIS 5.SH SYNOPSIS
@@ -25,6 +25,10 @@ control color usage: auto, always, never
25\fB\-\-trace\fR 25\fB\-\-trace\fR
26trace git command execution (REPO_TRACE=1) 26trace git command execution (REPO_TRACE=1)
27.TP 27.TP
28\fB\-\-trace_to_stderr\fR
29trace outputs go to stderr in addition to
30\&.repo/TRACE_FILE
31.TP
28\fB\-\-trace\-python\fR 32\fB\-\-trace\-python\fR
29trace python command execution 33trace python command execution
30.TP 34.TP