diff options
| author | Martin Ågren <martin.agren@gmail.com> | 2019-09-22 13:57:56 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2019-09-28 17:35:44 +0900 |
| commit | e79b34533affc98b78caa74700e182684d126e07 (patch) | |
| tree | acc1ee513b8ab676f14776d9545746597ec6ed3e /Documentation/user-manual.txt | |
| parent | 5fa0f5238b0cd46cfe7f6fa76c3f526ea98148d9 (diff) | |
| download | git-e79b34533affc98b78caa74700e182684d126e07.tar.gz | |
user-manual.txt: add missing section label
We provide a label for each chapter and section except for the "Pitfalls
with submodules" section. Since we're doing it everywhere else, let's do
it here, too.
Signed-off-by: Martin Ågren <martin.agren@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
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 ------------------------ |