fincs 1442eef9e4 Update travis config again		2020-06-11 20:01:32 +02:00
..
docker.sh	Use Docker for builds (#405)	2018-05-22 01:35:54 +01:00
exportdoc.sh	Improve travis script	2019-04-30 13:56:50 +02:00
id_travis_deploy.enc	Update travis config again	2020-06-11 20:01:32 +02:00