summaryrefslogtreecommitdiff
path: root/varint.c
diff options
context:
space:
mode:
authorJunio C Hamano <gitster@pobox.com>2013-06-05 14:56:48 -0700
committerJunio C Hamano <gitster@pobox.com>2013-06-05 14:56:48 -0700
commit3f261c092fc2c1d1b9c47c5118db141bd37a7709 (patch)
tree4d9620c7bc2a01d6bcdabefa3ece2f5ab646d41f /varint.c
parent8cb9b5f787957460e48c7b376f2c219b7130080d (diff)
parent90d32d1ffa36390177990cb92e4e2a68c5ec4092 (diff)
downloadgit-3f261c092fc2c1d1b9c47c5118db141bd37a7709.tar.gz
Merge branch 'tr/push-no-verify-doc'
"git push --[no-]verify" was not documented. * tr/push-no-verify-doc: Document push --no-verify
Diffstat (limited to 'varint.c')
0 files changed, 0 insertions, 0 deletions