Merge branch 'ar/install-doc-update-cmds-needing-the-shell'
authorJunio C Hamano <gitster@pobox.com>
Sun, 1 Dec 2019 17:04:41 +0000 (09:04 -0800)
committerJunio C Hamano <gitster@pobox.com>
Sun, 1 Dec 2019 17:04:41 +0000 (09:04 -0800)
commit3288d99c92b03e9488289ddf1f687d5758e15a50
tree7d589e4359d26a7709ed3d51c3dbd3adae4c521e
parent4775e02a5c18f0fa4380283554f06265b9405eb1
parent932757b0cc3e9386ae3441b342edddf1ca271f62
Merge branch 'ar/install-doc-update-cmds-needing-the-shell'

Doc update.

* ar/install-doc-update-cmds-needing-the-shell:
  INSTALL: use existing shell scripts as example
INSTALL