Jörg Thalheim a093afd23a deploy.sh: fix path to update script		2018-06-29 12:51:49 +01:00
..
deploy.sh	deploy.sh: fix path to update script	2018-06-29 12:51:49 +01:00
deploy_key.enc	update deploy key	2018-06-29 12:50:04 +01:00