aboutsummaryrefslogtreecommitdiff
path: root/ci/lint/05_before_script.sh
AgeCommit message (Collapse)Author
2019-12-30scripted-diff: Bump copyright of files changed in 2019MarcoFalke
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-
2019-08-15ci: Rename .travis/ to ./ci/MarcoFalke