Matthias Kretschmann 9e4a946d74 properly set cache headers ... * turns out S3 does not allow modifying cache-control headers once they are set, resulting in our 2nd part of s3sync being ignored * fix by explicetly excluding, and then including the respective files		2019-10-07 15:57:53 +02:00
..
deploy.sh