From a6721ac2d23461b3349fc6f410f59ad01d56e4b3 Mon Sep 17 00:00:00 2001 From: David Schweikert Date: Wed, 5 Mar 2014 08:56:26 +0100 Subject: [PATCH] travis-ci tuning --- ci/coveralls.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 ci/coveralls.sh diff --git a/ci/coveralls.sh b/ci/coveralls.sh old mode 100644 new mode 100755