Merge branch 'jc/config-pathname-type'
authorJunio C Hamano <gitster@pobox.com>
Tue, 17 May 2016 21:38:19 +0000 (14:38 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 17 May 2016 21:38:19 +0000 (14:38 -0700)
commitfd87e70...b377402f011f3dce4294135b8fba91f8
tree6ef3e33...4cabadaa69d64506e642d664676ce6e9copy hash to clipboard (tree)
parent459000e...630f99c5f94c92110a5305240a9ef281copy hash to clipboard (diff)
parentdca83ab...e26eefab17ac0a11b1440f0a16b7fc72copy hash to clipboard (diff)
Documentation/config.txt