diff --git a/ci/ci.sh b/ci/ci.sh deleted file mode 100755 index c52d3c26b..000000000 --- a/ci/ci.sh +++ /dev/null @@ -1,3 +0,0 @@ -#!/bin/sh - -exit 0