aboutsummaryrefslogtreecommitdiff
path: root/ci/lint/06_script.sh
AgeCommit message (Expand)Author
2020-01-28test: Add crc32c to subtree check linterWladimir J. van der Laan
2019-12-30scripted-diff: Bump copyright of files changed in 2019MarcoFalke
2019-08-15ci: Rename .travis/ to ./ci/MarcoFalke