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 /etc | |
| parent | 0cb0a3778e7ad014167e3720dc3ae73ccd0fb76c (diff) | |
| download | site-819109304d85356e061407fbaf86eb8ea95523c3.tar.gz | |
development.md: Fix coverity branch URL
We now have coverity/maint and coverity/master branches.
Diffstat (limited to 'etc')
0 files changed, 0 insertions, 0 deletions