Merge branch 'jk/url-insteadof-config' into maint
authorJunio C Hamano <gitster@pobox.com>
Mon, 5 Jun 2017 00:03:15 +0000 (09:03 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 5 Jun 2017 00:03:15 +0000 (09:03 +0900)
commit7dab7c5...59d2b3e45ecda8cd47931db9dfc96ae2
tree82f9913...c71e2d06489d8817c8d727c3318b6c64copy hash to clipboard (tree)
parentf72e075...300cd4fb74adf61d574fd2125c37e2ebcopy hash to clipboard (diff)
parent2c9a2ae...85b0806a5f754dcf6064f7cedc7e1fa8copy hash to clipboard (diff)
Documentation/config.txt