Merge branch 'ca/doc-config-third-party'
commit76bc28a3bb45344f2796976aeaca19805588c52b
authorJunio C Hamano <gitster@pobox.com>
Mon, 31 Mar 2014 23:30:49 +0000 (31 16:30 -0700)
committerJunio C Hamano <gitster@pobox.com>
Mon, 31 Mar 2014 23:30:49 +0000 (31 16:30 -0700)
treec1f3a0982c7fca79e8ec221af59745b08a5e55b5
parentf7804e250dfceb9695eddc11862054e2f9ca29c7
parent93728b23adef675c19b13095f9623c2be18a8738
Merge branch 'ca/doc-config-third-party'

* ca/doc-config-third-party:
  config.txt: third-party tools may and do use their own variables
Documentation/config.txt