From 78c4937ca08739f1485b6ec6e6da57c4ca5b147f Mon Sep 17 00:00:00 2001
From: Tero Frondelius <TeroFrondelius@users.noreply.github.com>
Date: Tue, 16 Jun 2015 23:46:35 +0300
Subject: [PATCH] Delete old-travis

---
 old-travis | 15 ---------------
 1 file changed, 15 deletions(-)
 delete mode 100644 old-travis

diff --git a/old-travis b/old-travis
deleted file mode 100644
index dda8fda..0000000
--- a/old-travis
+++ /dev/null
@@ -1,15 +0,0 @@
-language: julia
-julia:
-  - release
-  - nightly
-#notifications:
-#    email: false
-#script:
-#  - julia -e 'Pkg.clone(pwd())'
-#  - julia -e 'Pkg.build("$name")'
-#  - if [ -f test/runtests.jl ]; then julia --check-bounds=yes --code-coverage test/runtests.jl; fi
-script:
-  - if [[ -a .git/shallow ]]; then git fetch --unshallow; fi
-  - julia --check-bounds=yes -e 'Pkg.clone(pwd()); Pkg.build("JuliaFEM"); Pkg.test("JuliaFEM"; coverage=true)'
-after_success:
-  - julia -e 'cd(Pkg.dir("JuliaFEM")); Pkg.add("Coverage"); using Coverage; >Coveralls.submit(Coveralls.process_folder())'