diff options
| author |   Dave Barach <dave@barachs.net> | 2017-03-14 09:44:11 -0400 |
|---|---|---|
| committer |   Damjan Marion <dmarion.lists@gmail.com> | 2017-03-14 16:31:25 +0000 |
| commit | 3d6b2b5649fc2858c6ebc433a79c45d9bff3175e (patch) | |
| tree | 8bae5cf4e81f1641eb18af81cb5a1632c83a63ef /.gitignore | |
| parent | b64e4e2af314e1b2bc074b12ede50ad6d96c37c0 (diff) | |
Try again: __COVERITY__ vs __COVERITY
Hate it when that happens...
Change-Id: I725c8539d6349755e9d75ae05f2703c83ea704be
Signed-off-by: Dave Barach <dave@barachs.net>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions