Merge branch 'jc/advice-doc' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 28 Dec 2011 19:32:39 +0000 (11:32 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 28 Dec 2011 19:32:39 +0000 (11:32 -0800)
commit3c06ab69b1dba95ff73edd23c2c89a9c72b1f7f9
tree83f49ee100830bb50106af96c1af936d0eef4052
parent770dd00ebdb67455f0490982f8619b927792b837
parent26e94af0ba2f35438bab4a88caa4a16f5e056bac
Merge branch 'jc/advice-doc' into maint

* jc/advice-doc:
  advice: Document that they all default to true