Vitor K c40871f126 build system: remove references to travis (#5811)		2021-08-01 14:43:21 +02:00
..
build.sh	build system: remove references to travis (#5811)	2021-08-01 14:43:21 +02:00
docker.sh	Use GitHub Actions as CI service (#5602)	2020-11-12 06:21:35 +01:00
install_package.py	Use GitHub Actions as CI service (#5602)	2020-11-12 06:21:35 +01:00