Mirrors/SubtitleEdit
1
0
Fork 0
mirror of https://github.com/SubtitleEdit/subtitleedit.git synced 2024-11-23 11:42:36 +01:00
Code Issues Projects Releases Wiki Activity
9,789 Commits 4 Branches 60 Tags 350 MiB
7f92cb2442
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