4 Commits (e3b474c548668b653a4868c7be67e09f58e2382f)

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