diff options
| author | Junio C Hamano <gitster@pobox.com> | 2008-06-12 14:19:09 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2008-06-12 14:19:09 -0700 |
| commit | 6bfa3c99292dad8f88b2c8ac22e557421d57fd46 (patch) | |
| tree | 307786d516312d73fbe02f7efdf5c2dc26d8d501 /update-server-info.c | |
| parent | 97fc865bc1cd8aa23ed36c4c53e211e4d0c99626 (diff) | |
| download | git-6bfa3c99292dad8f88b2c8ac22e557421d57fd46.tar.gz | |
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>
Diffstat (limited to 'update-server-info.c')
0 files changed, 0 insertions, 0 deletions