diff options
author | Dave Davenport <qball@gmpclient.org> | 2016-10-17 20:58:50 +0200 |
---|---|---|
committer | Dave Davenport <qball@gmpclient.org> | 2016-10-17 20:58:50 +0200 |
commit | 2c0c3c675aae8283d79a61d151fa0aaa9d438182 (patch) | |
tree | 5c197a676bc78f9239c3b8d59f0a60cd587871ce | |
parent | b622a98d9c99979cdc952c81aeda5759fc520c04 (diff) |
Add Coverity scan
-rw-r--r-- | README.md | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -4,6 +4,7 @@ [![Forks](https://img.shields.io/github/forks/DaveDavenport/rofi.svg)](https://github.com/DaveDavenport/rofi/network) [![Stars](https://img.shields.io/github/stars/DaveDavenport/rofi.svg)](https://github.com/DaveDavenport/rofi/stargazers) [![Downloads](https://img.shields.io/github/downloads/DaveDavenport/rofi/total.svg)](https://github.com/DaveDavenport/rofi/releases) +[![Coverity](https://scan.coverity.com/projects/3850/badge.svg)](https://scan.coverity.com/projects/davedavenport-rofi) # A window switcher, run dialog and dmenu replacement |