projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 97fc865) | patch
Documentation/git-pull.txt: Use more standard [NOTE] markup
authorJunio C Hamano <gitster@pobox.com>
Thu, 12 Jun 2008 21:19:09 +0000 (14:19 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 12 Jun 2008 21:19:09 +0000 (14:19 -0700)
commit6bfa3c99292dad8f88b2c8ac22e557421d57fd46
tree307786d516312d73fbe02f7efdf5c2dc26d8d501tree | snapshot
parent97fc865bc1cd8aa23ed36c4c53e211e4d0c99626commit | diff
Documentation/git-pull.txt: Use more standard [NOTE] markup

Unlike other manual pages (e.g. git-blame.txt), this used *NOTE:*
to show a side note headed with boldface string "NOTE".  Use a paragraph
headed by [NOTE] like others instead.

Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/git-pull.txt diff | blob | history
Git—the stupid content tracker