From 34fa869051cca63b8a85aa4cbada8cb23829f28e Mon Sep 17 00:00:00 2001 From: Jan Wagner Date: Sun, 16 Feb 2014 21:16:35 +0100 Subject: Add coverity metric diff --git a/web/input/development.md b/web/input/development.md index dce0ca8..5f9830c 100644 --- a/web/input/development.md +++ b/web/input/development.md @@ -32,6 +32,7 @@ problems. This service is kindly hosted by [Travis CI][travis-start]. Travis-CI build status (master branch):
Travis-CI build status (maint branch):
+Coverity metric (coverity branch):
### Bundled Test Suite -- cgit v0.10-9-g596f