diff options
| author | Paolo Bonzini <pbonzini@redhat.com> | 2023-11-20 16:04:31 -0500 |
|---|---|---|
| committer | Paolo Bonzini <pbonzini@redhat.com> | 2023-11-24 16:21:55 +0100 |
| commit | 81a541e9f0838753d06d61b026688bea1eba7c0b (patch) | |
| tree | 9d1ce2056611e512e158e19869b978c2629b14cf /.gitattributes | |
| parent | 9abbb37535b27321e9f7bde38a6996343b2bc5f2 (diff) | |
scripts: adjust url to Coverity tools
The URL to the Coverity tools download has changed; the old one points
to an obsolete version that is not supported anymore. Adjust to point
to the correct and supported tools.
Suggested-by: Peter Maydell <peter.maydell@linaro.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions