summaryrefslogtreecommitdiffstats
path: root/.gitignore
diff options
context:
space:
mode:
authorDave Barach <dave@barachs.net>2017-03-14 09:44:11 -0400
committerDamjan Marion <dmarion.lists@gmail.com>2017-03-14 16:31:25 +0000
commit3d6b2b5649fc2858c6ebc433a79c45d9bff3175e (patch)
tree8bae5cf4e81f1641eb18af81cb5a1632c83a63ef /.gitignore
parentb64e4e2af314e1b2bc074b12ede50ad6d96c37c0 (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