Jörg Thalheim 04d8a06b24 make scripts names more consistent		2018-07-15 13:48:51 -04:00
..
deploy.sh	make scripts names more consistent	2018-07-15 13:48:51 -04:00
deploy_key.enc	switch back to travis.com	2018-06-29 15:28:25 +01:00