diff options
| author |  Johannes Schindelin <Johannes.Schindelin@gmx.de> | 2008-05-14 18:03:31 +0100 |
|---|---|---|
| committer |  Junio C Hamano <gitster@pobox.com> | 2008-05-15 16:12:40 -0700 |
| commit | 50fd9bd8430a957ea6c6674ce6112f375985abbc (patch) | |
| tree | 1e7243c03179dfef1d7ef7c81cdc1d86159ab53d /Documentation/diff-options.txt | |
| parent | Merge branch 'maint' (diff) | |
| download | tgif-50fd9bd8430a957ea6c6674ce6112f375985abbc.tar.xz | |
diff options: Introduce --ignore-submodules
The new option --ignore-submodules can now be used to ignore changes in
submodules.
Why? Sometimes it is not interesting when a submodule changed.
For example, when reordering some commits in the superproject, a dirty
submodule is usually totally uninteresting. So we will use this option
in git-rebase to test for a dirty working tree.
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'Documentation/diff-options.txt')
| -rw-r--r-- | Documentation/diff-options.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/diff-options.txt b/Documentation/diff-options.txt index 13234fa280..859d67990a 100644 --- a/Documentation/diff-options.txt +++ b/Documentation/diff-options.txt @@ -228,6 +228,9 @@ endif::git-format-patch[] --no-ext-diff:: Disallow external diff drivers. +--ignore-submodules:: + Ignore changes to submodules in the diff generation. + --src-prefix=<prefix>:: Show the given source prefix instead of "a/". |