MarcoFalke fafe78f6ae ci: Rename .travis/ to ./ci/		2019-08-15 11:11:45 -04:00
..
04_install.sh	ci: Rename .travis/ to ./ci/	2019-08-15 11:11:45 -04:00
06_script.sh	ci: Rename .travis/ to ./ci/	2019-08-15 11:11:45 -04:00