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