Removed unnacessary line

2015-11-11 14:34:33 +01:00
parent e2ef88eed9
commit 74853ead74
1 changed files with 0 additions and 2 deletions
--- a/CI/ci-linux.sh
+++ b/CI/ci-linux.sh
@@ -3,8 +3,6 @@
 COMPILER=$1
 LANGUAGE=$2

-#!/bin/bash
-
 OPTIONS=""

 if [ "$COMPILER" == "gcc" ]; then