4 Commits (687939e3d251125aea5f6f7202e00a12d60a899f)

Author	SHA1	Message	Date
MarcoFalke	faf62e6ed0	ci: Remove unused workaround	5 years ago
MarcoFalke	aaaaad6ac9	scripted-diff: Bump copyright of files changed in 2019 ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	5 years ago
MarcoFalke	fa6cbdc3c9	ci: Use ./ci/ on non-travis host	5 years ago
MarcoFalke	fafe78f6ae	ci: Rename .travis/ to ./ci/	5 years ago