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)
* jc/advice-doc:
  advice: Document that they all default to true

1  2 
Documentation/config.txt

Simple merge