Mirrors/SubtitleEdit
1
0
Fork 0
mirror of https://github.com/SubtitleEdit/subtitleedit.git synced 2024-10-27 14:32:35 +01:00
Code Issues Projects Releases Wiki Activity
11,885 Commits 4 Branches 60 Tags 349 MiB
c38918fc03
Commit Graph

3 Commits

Author SHA1 Message Date
XhmikosR
8226e831e1 coverity.bat: use VS 2015. 
Note that the current Coverity version doesn't work with VS2015 yet.
 2016-01-24 16:16:32 +02:00
XhmikosR
4c3ecd3a59 Update coverity.bat version. 2015-07-22 22:07:27 +03:00
XhmikosR
3f880e4d15 Add a script to run Coverity. 2014-07-07 19:52:35 +03:00