diff options
| author | Evgeny Vereshchagin <evvers@ya.ru> | 2019-05-09 18:21:38 +0200 |
|---|---|---|
| committer | Evgeny Vereshchagin <evvers@ya.ru> | 2019-05-14 13:42:17 +0200 |
| commit | 0cd158f643510452c755d1679a053a65a6013f5d (patch) | |
| tree | a3fa4cba8fbe9b2fb01874e2dc420d19cdc92fc5 /.gitignore | |
| parent | 9c5c4677fa22c2fc87599c15ca972627ceb17bd7 (diff) | |
| download | systemd-0cd158f643510452c755d1679a053a65a6013f5d.tar.gz | |
README: bring the coverity badge back
This reverts commit bf0e551c176fc7aec6b3413d3b311f3e6610df65.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions