diff options
Diffstat (limited to 'ci/merge.sh')
-rwxr-xr-x | ci/merge.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ci/merge.sh b/ci/merge.sh index 80ffdb6..bda24b6 100755 --- a/ci/merge.sh +++ b/ci/merge.sh @@ -9,4 +9,4 @@ ############################################################################## # Just run the verify again for now -`dirname $0`/verify.sh
\ No newline at end of file +`dirname $0`/verify.sh |