diff options
| author | Junio C Hamano <gitster@pobox.com> | 2021-02-25 17:34:37 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2021-02-25 17:34:37 -0800 |
| commit | a372d5bb569776befd395d9c66067ecc09f13b96 (patch) | |
| tree | e9f46a0ff18a8d49520307068a47e8944c44aa3d /diff-options.txt | |
| parent | a70c988a0584e1197ffd19b26c28e9790da32363 (diff) | |
| download | git-htmldocs-a372d5bb569776befd395d9c66067ecc09f13b96.tar.gz | |
Autogenerated HTML docs for v2.31.0-rc0
Diffstat (limited to 'diff-options.txt')
| -rw-r--r-- | diff-options.txt | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/diff-options.txt b/diff-options.txt index e5733ccb2..aa2b5c11f 100644 --- a/diff-options.txt +++ b/diff-options.txt @@ -700,6 +700,14 @@ matches a pattern if removing any number of the final pathname components matches the pattern. For example, the pattern "`foo*bar`" matches "`fooasdfbar`" and "`foo/bar/baz/asdf`" but not "`foobarx`". +--skip-to=<file>:: +--rotate-to=<file>:: + Discard the files before the named <file> from the output + (i.e. 'skip to'), or move them to the end of the output + (i.e. 'rotate to'). These were invented primarily for use + of the `git difftool` command, and may not be very useful + otherwise. + ifndef::git-format-patch[] -R:: Swap two inputs; that is, show differences from index or |