docs: add link to Coverity on developer utilities page
authorBrian Paul <brianp@vmware.com>
Fri, 13 Nov 2015 15:01:29 +0000 (08:01 -0700)
committerBrian Paul <brianp@vmware.com>
Fri, 13 Nov 2015 15:02:19 +0000 (08:02 -0700)
commit5a5efbf804eb848553b85f498bf4c4340d748c3d
tree3de99fbbe9b3eec1bf4ab44a614d091c3a71f1d5
parent00046393f80f2a13b21fce647f35e1a979f41d7d
docs: add link to Coverity on developer utilities page

Signed-off-by: Brian Paul <brianp@vmware.com>
docs/utilities.html