Merge branch 'ks/doc-previous-checkout'
authorJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 22:08:49 +0000 (14:08 -0800)
committerJunio C Hamano <gitster@pobox.com>
Thu, 28 Dec 2017 22:08:50 +0000 (14:08 -0800)
Doc update.

* ks/doc-previous-checkout:
Doc/check-ref-format: clarify information about @{-N} syntax

Trivial merge