summaryrefslogtreecommitdiff
path: root/check_missing_headers.sh
AgeCommit message (Expand)AuthorFilesLines
2020-02-05fix missing headers checkWim Taymans1-3/+3
2019-05-31travis: run make install and check for headers that have not been installedGeorge Kiagiadakis1-0/+33