coverity.sh: fix a couple indents
authorEvegeny Vereshchagin <evvers@ya.ru>
Mon, 25 Jun 2018 21:57:43 +0000 (21:57 +0000)
committerEvegeny Vereshchagin <evvers@ya.ru>
Mon, 25 Jun 2018 21:57:43 +0000 (21:57 +0000)
commiteeeaebf9c567ff181bfd063f07b0dcbcdf0722d9
tree39fee9a61b863cd7e99752af57739165487b66e9
parentd7af62d52cd3b58c5fe7d410e907e01fed71c02e
coverity.sh: fix a couple indents
tools/coverity.sh