HomePhabricator
Diffusion MITK 206bf99d70d3

Merge branch 'bug-12018-rework-package-header-check'

Description

Merge branch 'bug-12018-rework-package-header-check'

  • bug-12018-rework-package-header-check: Use find_file instead of check_include_file when testing for headers.