kmx git

Commit e5225137a48b887beb18a9c6d5f81476e7960dc1

2016-10-24T10:58:23

scripts/coverity.sh: chmod 755

1
2
3

diff --git a/scripts/coverity.sh b/scripts/coverity.sh
old mode 100644
new mode 100755