diff options
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 8bce75b2cf..2dc2ffdaab 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -3698,6 +3698,7 @@ $ git push You have to run `git submodule update` after `git pull` if you want to update submodules, too. +[[pitfalls-with-submodules]] Pitfalls with submodules ------------------------ |