Merge branch 'jc/drop-gen-hdrs'
authorJunio C Hamano <gitster@pobox.com>
Wed, 25 Dec 2019 19:22:00 +0000 (11:22 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 25 Dec 2019 19:22:00 +0000 (11:22 -0800)
commitccc292e8620ecea28044166ac1189ccf6edfc6c7
tree2518ff6c2ee51c91ae45ad02472289faa9fcda6f
parentdfee504bee4353fd7cede8b11e0090e20c69a032
parentf3719846134bdc3ff188f0bf4ec3bfe061b0daee
Merge branch 'jc/drop-gen-hdrs'

Code cleanup.

* jc/drop-gen-hdrs:
  Makefile: drop GEN_HDRS
Makefile