3 commits

Author	SHA1	Message	Date
MarcoFalke	fa488f131f	scripted-diff: Bump copyright headers ... -BEGIN VERIFY SCRIPT- ./contrib/devtools/copyright_header.py update ./ -END VERIFY SCRIPT-	2020-04-16 13:33:09 -04:00
fanquake	9e111db088	test: set a name for CI Docker containers	2020-02-10 20:03:52 +08:00
MarcoFalke	fa21737ba7	ci: Add environment files for all settings	2019-08-16 08:46:37 -04:00