diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-06-21 14:42:38 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-06-21 14:42:38 -0700 |
commit | a88d7aaee8f8b80fdd2b70d38beb534b5102ee7c (patch) | |
tree | e71d6ec33d090f819c9df0786362bfdc804fee95 /varint.c | |
parent | 1966babf6e8e5c67e2dec05aa00437246ded0497 (diff) | |
parent | 1cc8af044cad37b5f7df85b177f6aa979aa3215a (diff) | |
download | git-a88d7aaee8f8b80fdd2b70d38beb534b5102ee7c.tar.gz git-a88d7aaee8f8b80fdd2b70d38beb534b5102ee7c.tar.xz |
Merge branch 'vr/help-per-platform'
We used to always default to "man" format even on platforms where
"man" viewer is not widely available.
* vr/help-per-platform:
help: use HTML as the default help format on Windows
Diffstat (limited to 'varint.c')
0 files changed, 0 insertions, 0 deletions