diff options
| author | Andreas Heiduk <asheiduk@gmail.com> | 2018-05-03 20:48:30 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2018-05-06 18:38:43 +0900 |
| commit | 5356a3c3542774f05684b5c3999060492dce2e8d (patch) | |
| tree | 0cce8c7f659e6b5f07f1fed437b9746dc48f91ff /gitweb/static/js/lib/common-lib.js | |
| parent | 88184c1fc241461f6bcc2017e4aaa7f7ffd2f8d3 (diff) | |
doc: normalize [--options] to [options] in git-diff
SYNOPSIS and other manuals use [options] but DESCRIPTION
used [--options].
Signed-off-by: Andreas Heiduk <asheiduk@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'gitweb/static/js/lib/common-lib.js')
0 files changed, 0 insertions, 0 deletions