]> piware.de Git - bin.git/commit
projects / bin.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: ecde4fe) | patch
install-rhel-tools: Drop coverity
authorMartin Pitt <martin@piware.de>
Fri, 5 Jul 2024 03:42:54 +0000 (05:42 +0200)
committerMartin Pitt <martin@piware.de>
Fri, 5 Jul 2024 03:42:54 +0000 (05:42 +0200)
commit04bf7f0f7987c65c11a5699d0e29fb60c16e7107
tree54c9733bc7f0ed2ec130cca01f7b0478a558ad4etree | snapshot
parentecde4fe02bd0aeb9c9269b938e975a7b735b0590commit | diff
install-rhel-tools: Drop coverity

The COPR does not exist any more, and I haven't used this in a long
time.
install-rhel-tools diff | blob | history
Martin Pitt's ~/bin scripts