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