Merge pull request #1306 from mmicko/gitignore_fix
authorClifford Wolf <clifford@clifford.at>
Mon, 19 Aug 2019 11:09:12 +0000 (13:09 +0200)
committerGitHub <noreply@github.com>
Mon, 19 Aug 2019 11:09:12 +0000 (13:09 +0200)
Ignore all generated headers for pmgen pass


Trivial merge