diff options
| author | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-07-08 12:11:55 (GMT) |
|---|---|---|
| committer | Holger Weiss <holger@zedat.fu-berlin.de> | 2014-07-08 12:11:55 (GMT) |
| commit | 819109304d85356e061407fbaf86eb8ea95523c3 (patch) | |
| tree | 3f18677994708ba981d0d3e4f193a05ded5bfb71 | |
| parent | 0cb0a3778e7ad014167e3720dc3ae73ccd0fb76c (diff) | |
| download | site-819109304d85356e061407fbaf86eb8ea95523c3.tar.gz | |
development.md: Fix coverity branch URL
We now have coverity/maint and coverity/master branches.
| -rw-r--r-- | web/input/development.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/input/development.md b/web/input/development.md index 9bd128b..4b654fb 100644 --- a/web/input/development.md +++ b/web/input/development.md | |||
| @@ -60,7 +60,7 @@ platforms, the results can be [viewed online][tests]. | |||
| 60 | [git-ref]: doc/faq/git.html#references "Git References" | 60 | [git-ref]: doc/faq/git.html#references "Git References" |
| 61 | [master-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/master "Branch master" | 61 | [master-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/master "Branch master" |
| 62 | [maint-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/maint "Branch maint" | 62 | [maint-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/maint "Branch maint" |
| 63 | [coverity-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/coverity "Branch coverity" | 63 | [coverity-branch]: https://github.com/monitoring-plugins/monitoring-plugins/tree/coverity/master "Branch coverity/master" |
| 64 | [master-img]: https://api.travis-ci.org/monitoring-plugins/monitoring-plugins.png?branch=master "Build Status master" | 64 | [master-img]: https://api.travis-ci.org/monitoring-plugins/monitoring-plugins.png?branch=master "Build Status master" |
| 65 | [maint-img]: https://api.travis-ci.org/monitoring-plugins/monitoring-plugins.png?branch=maint "Build Status maint" | 65 | [maint-img]: https://api.travis-ci.org/monitoring-plugins/monitoring-plugins.png?branch=maint "Build Status maint" |
| 66 | [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric" | 66 | [coverity-img]: https://scan.coverity.com/projects/1435/badge.svg?flat=1 "Coverity Metric" |