Mirrors/SubtitleEdit
1
0
Fork 0
mirror of https://github.com/SubtitleEdit/subtitleedit.git synced 2024-11-22 19:22:53 +01:00
Code Issues Projects Releases Wiki Activity
10,179 Commits 4 Branches 60 Tags 350 MiB
3a213ece5d
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