Jörg Thalheim ed6326fb1e switch back to travis.com		2018-06-29 15:28:25 +01:00
..
deploy.sh	travis: push current HEAD to master	2018-06-29 15:12:05 +01:00
deploy_key.enc	switch back to travis.com	2018-06-29 15:28:25 +01:00