Age | Commit message (Expand) | Author |
---|---|---|
2020-12-17 | ci: Drop travis_fold feature as Travis CI is no longer used | Hennadii Stepanov |
2020-05-31 | ci: Remove unused workaround | MarcoFalke |
2019-12-30 | scripted-diff: Bump copyright of files changed in 2019 | MarcoFalke |
2019-08-15 | ci: Use ./ci/ on non-travis host | MarcoFalke |
2019-08-15 | ci: Rename .travis/ to ./ci/ | MarcoFalke |