Make coverage script +x

Change-Id: Iabeed9d9b09eba548073d5baa9dd518f2a674c08
This commit is contained in:
Han-Wen Nienhuys 2017-05-11 16:03:31 +02:00
parent 5b3bc5da1c
commit 17a3c06b98

0
tools/coverage.sh Normal file → Executable file
View File