summaryrefslogtreecommitdiffhomepage
path: root/coverity/.gitignore
diff options
context:
space:
mode:
authorStanislaw Halik <sthalik@misaki.pl>2018-11-03 07:16:21 +0100
committerStanislaw Halik <sthalik@misaki.pl>2018-11-03 07:16:21 +0100
commit29bea6f9b2166bf3e50815d84aff3535705f6b9b (patch)
tree0e71e401f300234b0c1a47303fcbfbee5f29c0cd /coverity/.gitignore
parentfaa3108611e2b31e614d10531548803e2362a4f0 (diff)
fix build on Linux
Diffstat (limited to 'coverity/.gitignore')
0 files changed, 0 insertions, 0 deletions