Jörg Thalheim 18baa79a40 travis: only push repos in cron jobs		2018-06-29 13:06:01 +01:00
..
deploy.sh	travis: only push repos in cron jobs	2018-06-29 13:06:01 +01:00
deploy_key.enc	update deploy key	2018-06-29 12:50:04 +01:00