remove shell identifier

2017-12-25 15:17:19 +01:00
parent 7d698dc30d
commit 35c39aba62
1 changed files with 0 additions and 2 deletions
--- a/.travis/push.sh
+++ b/.travis/push.sh
@ -1,5 +1,3 @@
-#!/bin/sh
-
 setup_git() {
  git config --global user.email "travis@travis-ci.org"
  git config --global user.name "Travis CI"