[shark] 18/79: troubleshooting: somehow build process gets killed..

[Ghislain Vaillant]

This is an automated email from the git hooks/post-receive script.

ghisvail-guest pushed a commit to branch master
in repository shark.

commit c1e26f17c1979337afc09c272506e23b2854d2a8
Author: Oswin Krause <oswin.krause at di.ku.dk>
Date:   Wed Oct 28 14:01:32 2015 +0100

    troubleshooting: somehow build process gets killed..
---
 .travis.yml | 2 --
 1 file changed, 2 deletions(-)

diff --git a/.travis.yml b/.travis.yml
index f54a993..45d0b8a 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -8,8 +8,6 @@ os:
   - linux
   - osx
   
-osx_image: xcode7.1
-  
 matrix:
   exclude:
     - os: osx 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/shark.git