diff options
author | Johannes Schindelin <johannes.schindelin@gmx.de> | 2022-05-03 13:26:47 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2022-05-04 20:31:05 +0300 |
commit | a6c80c313c1138eb0e6c040cb78274ca28991c90 (patch) | |
tree | 2b011789bb961757ca3afa74991ca62bb929b4ce /Documentation | |
parent | 236d1177ba893b1101de5b330cd4eb116e4eb9d3 (diff) |
trace2 docs: add missing full stop
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation')
-rw-r--r-- | Documentation/technical/api-trace2.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/technical/api-trace2.txt b/Documentation/technical/api-trace2.txt index 05fa38cf65..f4a8a69087 100644 --- a/Documentation/technical/api-trace2.txt +++ b/Documentation/technical/api-trace2.txt @@ -533,7 +533,7 @@ these special values are used: ------------ `"cmd_mode"`:: - This event, when present, describes the command variant This + This event, when present, describes the command variant. This event may be emitted more than once. + ------------ |