diff options
author | Ivan Maidanski <ivmai@mail.ru> | 2016-12-13 00:50:09 +0300 |
---|---|---|
committer | Ivan Maidanski <ivmai@mail.ru> | 2016-12-13 00:50:09 +0300 |
commit | 8e4544cc6dbdb72601b0b72b94e09b35814ca684 (patch) | |
tree | 96c65c4fda61badaf1284d73142f990122b478c7 /.gitignore | |
parent | 1a4eb799dfb53a116cda2e844b4e95d839962241 (diff) |
.gitignore: Ignore folders and files of static code analysis tools
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 7 |
1 files changed, 7 insertions, 0 deletions
@@ -130,3 +130,10 @@ stamp-h1 # Stuff from VS build system and IDE *.vcproj.*.user + +# Code analysis tools: +/.sv*-dir/ +/cov-int/ +/pvs-project.log +/pvs-project.tasks +/strace_out |