Makefile: use `git ls-files` to list header files, if possible
authorJohannes Schindelin <johannes.schindelin@gmx.de>
Mon, 4 Mar 2019 13:47:06 +0000 (05:47 -0800)
committerJunio C Hamano <gitster@pobox.com>
Tue, 5 Mar 2019 12:56:27 +0000 (21:56 +0900)
commit92b88eb...9f7e9dddc20db5561837ddaf6677cf0c
tree38e15dd...d5c00348447d5123a7fcbbaa73177fdecopy hash to clipboard (tree)
parent36eb1cb...cfe327583128a4b0abdf9516c2ca815bcopy hash to clipboard (diff)
Makefile