diff options
author | XhmikosR <xhmikosr@users.sourceforge.net> | 2013-01-08 21:09:04 +0400 |
---|---|---|
committer | XhmikosR <xhmikosr@users.sourceforge.net> | 2013-01-08 21:26:41 +0400 |
commit | fc2cfb2c3b6d11b03d4e35dd2068cd21e8c54407 (patch) | |
tree | d7ca895c561356e5e7f5c856486bc0691dd6da44 /.gitignore | |
parent | db1adb4b8e1fde87f0de3879426e373ef308c7f7 (diff) |
add coverity scan scripts
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7d6192d6e..1b8d195ae 100644 --- a/.gitignore +++ b/.gitignore @@ -11,6 +11,9 @@ /bin /bin12 /build.user.bat +/contrib/cov-int +/contrib/MPC-HC.tar +/contrib/MPC-HC.tgz /distrib/*.exe /docs/[Aa][Ss]tyle.exe /include/version_rev.h |