]> thyrsus.com Git - coverity-submit.git/commit
projects / coverity-submit.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7096dfe) | patch
Support having a Coverity name different from the directory name.
authorEric S. Raymond <esr@thyrsus.com>
Mon, 14 Jan 2013 22:21:00 +0000 (17:21 -0500)
committerEric S. Raymond <esr@thyrsus.com>
Mon, 14 Jan 2013 22:21:00 +0000 (17:21 -0500)
commit73b63f44cb892032eac803102c6ab4099cc75a63
tree8247bdc33c912a2ed61bdf8be2294ed326859f2etree | snapshot
parent7096dfecf5003e25762ac8f06c3c430cf8ae7f93commit | diff
Support having a Coverity name different from the directory name.
NEWS diff | blob | history
coverity-submit diff | blob | history
coverity-submit.xml diff | blob | history
Submit scan requests to the Coverity demo server.