Merge branch 'jc/advice-doc'
authorJunio C Hamano <gitster@pobox.com>
Tue, 20 Dec 2011 21:25:29 +0000 (13:25 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 20 Dec 2011 21:25:29 +0000 (13:25 -0800)
commit184a541fb54fbb9d062f30ee47ae629af7f5784c
tree29b22f465a7bc70db7b156cf83ed47bfbae26978
parent835fbdb67aa011639e1502e42e831be058ee7e32
parent26e94af0ba2f35438bab4a88caa4a16f5e056bac
Merge branch 'jc/advice-doc'

* jc/advice-doc:
  advice: Document that they all default to true
Documentation/config.txt