Merge branch 'jk/config-include'
authorJunio C Hamano <gitster@pobox.com>
Mon, 22 Feb 2016 21:14:48 +0000 (13:14 -0800)
committerJunio C Hamano <gitster@pobox.com>
Mon, 22 Feb 2016 21:14:48 +0000 (13:14 -0800)
commit895f20de9e3ecd68c4b96cf6802a7424e9ace533
treedb529d978754d46f2a8e172bb00a69f537ae96d3
parentd7145ef2758194dd7a6aad6aee514f675fb73a0d
parent753a2cda11c4bfb51184acd474e9bdfa051f9895
Merge branch 'jk/config-include'

* jk/config-include:
  git-config: better document default behavior for `--include`
Documentation/git-config.txt