git-checkout.txt: document -d short option for --detach
commit07351d98992ba17ee9249b80f325f7f2c56a2251
authorEric Sunshine <sunshine@sunshineco.com>
Mon, 7 Sep 2020 00:02:20 +0000 (6 20:02 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 7 Sep 2020 01:53:56 +0000 (6 18:53 -0700)
tree446cb91cfc18b42f172b4aa83055e5d444937ef1
parent3a238e539bcdfe3f9eb5010fd218640c1b499f7a
git-checkout.txt: document -d short option for --detach

`git checkout` learned -d as short option for --detach in 163e3b2975
(switch: add short option for --detach, 2019-03-29) but the
documentation was never updated to reflect the change.

Signed-off-by: Eric Sunshine <sunshine@sunshineco.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-checkout.txt