newline at the end

2026-07-18 14:18:11 +00:00 · 2018-01-13 19:49:04 +01:00
parent 000ea83610
commit 2fb4272bce
3 changed files with 2 additions and 3 deletions
--- a/travis/after_success.sh
+++ b/travis/after_success.sh
@@ -55,4 +55,3 @@ if [ "$DO_DEPLOY" = 1 ]; then
    git push --quiet myorigin :refs/tags/$DEPLOY_RELEASE_TO_REMOVE > /dev/null 2>&1        
  fi  
 fi
-         
--- a/travis/install.sh
+++ b/travis/install.sh
@@ -1,2 +1,2 @@
 #!/bin/bash
-ant deps
+ant deps
--- a/travis/script.sh
+++ b/travis/script.sh
@@ -106,4 +106,4 @@ else
        #tag not set - regular build
        ant all
    fi    
-fi
+fi