Merge branch 'fm/user-manual-use-preface'
authorJunio C Hamano <gitster@pobox.com>
Tue, 13 Apr 2021 22:28:51 +0000 (15:28 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 13 Apr 2021 22:28:51 +0000 (15:28 -0700)
commit1d5fbd45c481d989036ed6f7dd10a6c094f9db8f
treea96f25aafa7a51e744eacc0c097e1de6b24c24e1
parent7b55441db1d122e85dc0e765c626cf5de18ba7a4
parentfc12b6fdde47cfb5fc7429af8e3482c0d1090186
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