Remove coverage.sh, it's not used anymore#1634
Merged
adrcunha merged 1 commit intoknative:masterfrom Jul 23, 2018
adrcunha:bye-old-script
Merged
Remove coverage.sh, it's not used anymore#1634adrcunha merged 1 commit intoknative:masterfrom adrcunha:bye-old-script
adrcunha merged 1 commit intoknative:masterfrom
adrcunha:bye-old-script