config.txt: third-party tools may and do use their own variables
commit93728b23adef675c19b13095f9623c2be18a8738
authorChris Angelico <rosuav@gmail.com>
Fri, 21 Mar 2014 04:07:08 +0000 (21 15:07 +1100)
committerJunio C Hamano <gitster@pobox.com>
Fri, 21 Mar 2014 18:55:07 +0000 (21 11:55 -0700)
tree75450d312be484b65e07c3f10093752775c64064
parent7bbc4e8fdb33e0a8e42e77cc05460d4c4f615f4d
config.txt: third-party tools may and do use their own variables

Signed-off-by: Chris Angelico <rosuav@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Documentation/config.txt