Andrew's git / gitweb.git / diff
?
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)
Code clean-up.

* rj/header-guards:
headers: normalize the spelling of some header guards

Trivial merge