]> thyrsus.com Git - coverity-submit.git/commit
Quiet the tool down and implement -v.
authorEric S. Raymond <esr@thyrsus.com>
Sat, 12 Jan 2013 23:46:17 +0000 (18:46 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Sat, 12 Jan 2013 23:46:17 +0000 (18:46 -0500)
commit46d63e67b58737ca0e3749fbfe2f7990eda53286
tree3c33194e555c3c9975c1cc517e113a2f3f79439d
parent5c63a10e89a708c984ce264282e8ef562a2134c8
Quiet the tool down and implement -v.
coverity-submit
coverity-submit.xml