diff options
author | Junio C Hamano <gitster@pobox.com> | 2021-04-14 01:28:51 +0300 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2021-04-14 01:28:51 +0300 |
commit | 1d5fbd45c481d989036ed6f7dd10a6c094f9db8f (patch) | |
tree | a96f25aafa7a51e744eacc0c097e1de6b24c24e1 | |
parent | 7b55441db1d122e85dc0e765c626cf5de18ba7a4 (diff) | |
parent | fc12b6fdde47cfb5fc7429af8e3482c0d1090186 (diff) |
Merge branch 'fm/user-manual-use-preface'
Doc update to improve git.info
* fm/user-manual-use-preface:
user-manual.txt: assign preface an id and a title
-rw-r--r-- | Documentation/user-manual.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index fd480b8645..f9e54b8674 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -1,5 +1,8 @@ = Git User Manual +[preface] +== Introduction + Git is a fast distributed revision control system. This manual is designed to be readable by someone with basic UNIX |