tree b20222314f367c23772ffa5c0b4665f44fb30fef
parent b7e9379aab53d173b3b3035ec7253e91917d57f7
author Jonatan Antoni <jonatan.antoni@arm.com> 1627980029 +0200
committer Jonatan Antoni <jonatan.antoni@arm.com> 1627980029 +0200

GitHub: Add problem matcher for file header checker.