MarcoFalke fa6cbdc3c9 ci: Use ./ci/ on non-travis host		2019-08-15 11:13:09 -04:00
..
00_setup_env.sh	ci: Remove dependence on travis, use it as fallback env	2019-08-15 11:12:34 -04:00
03_before_install.sh	ci: Use ./ci/ on non-travis host	2019-08-15 11:13:09 -04:00
04_install.sh	ci: Use ./ci/ on non-travis host	2019-08-15 11:13:09 -04:00
05_before_script.sh	ci: Rename .travis/ to ./ci/	2019-08-15 11:11:45 -04:00
06_script_a.sh	ci: Remove dependence on travis, use it as fallback env	2019-08-15 11:12:34 -04:00
06_script_b.sh	ci: Remove dependence on travis, use it as fallback env	2019-08-15 11:12:34 -04:00