Jörg Thalheim eea33c0e02 use nix-shell shebang rather then travis's python		2018-06-29 22:38:17 +01:00
..
deploy.sh	use nix-shell shebang rather then travis's python	2018-06-29 22:38:17 +01:00
deploy_key.enc	switch back to travis.com	2018-06-29 15:28:25 +01:00