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 | |
parent | Git 2.23 (diff) | |
download | tgif-e79b34533affc98b78caa74700e182684d126e07.tar.xz |
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>
-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 ------------------------ |