Jörg Thalheim 2290918707 ci: make travis output less verbose		2018-07-21 15:12:09 +01:00
..
deploy.sh	ci: make travis output less verbose	2018-07-21 15:12:09 +01:00
deploy_key.enc	switch back to travis.com	2018-06-29 15:28:25 +01:00