Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-05-31 | ci: Remove unused workaround | MarcoFalke | |
2019-12-30 | scripted-diff: Bump copyright of files changed in 2019 | MarcoFalke | |
-BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT- | |||
2019-08-15 | ci: Use ./ci/ on non-travis host | MarcoFalke | |
2019-08-15 | ci: Rename .travis/ to ./ci/ | MarcoFalke | |