Merge branch 'rj/header-guards'
authorJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:44 +0000 (15:43 +0900)
committerJunio C Hamano <gitster@pobox.com>
Tue, 30 Oct 2018 06:43:44 +0000 (15:43 +0900)
commit0a1006c...71fd365d766f97a2e886f543f07bc922
tree9a69376...c692d666d0c6db84640bb078bdefb890copy hash to clipboard (tree)
parent1191467...aac58770a879bff2dfd7b874adbbb4ffcopy hash to clipboard (diff)
parent0009d35...1b87bd02f6c6faba93cf991d701fa5a5copy hash to clipboard (diff)