4 Commits

Author	SHA1	Message	Date
MarcoFalke	faf62e6ed0	ci: Remove unused workaround	2020-05-31 18:37:56 -04:00
MarcoFalke	aaaaad6ac9	scripted-diff: Bump copyright of files changed in 2019 ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	2019-12-30 10:42:20 +13:00
MarcoFalke	fa6cbdc3c9	ci: Use ./ci/ on non-travis host	2019-08-15 11:13:09 -04:00
MarcoFalke	fafe78f6ae	ci: Rename .travis/ to ./ci/	2019-08-15 11:11:45 -04:00