Merge branch 'ar/help-guides-doc' into master
authorJunio C Hamano <gitster@pobox.com>
Fri, 31 Jul 2020 04:34:29 +0000 (21:34 -0700)
committerJunio C Hamano <gitster@pobox.com>
Fri, 31 Jul 2020 04:34:29 +0000 (21:34 -0700)
commit5942edb4ed4e4e8a0102dd66c9a5f139d7fc0a14
tree69e0a76f3adbc2c8c4a0a623cec7f822693f6687
parent8a111fc01ff6c3e0ef538aaffd465822e82febbf
parentb17f411ab50ee14241fb901cc92f726040a79009
Merge branch 'ar/help-guides-doc' into master

* ar/help-guides-doc:
  git-help.txt: fix mentions of option --guides