mirror of
https://github.com/vim/vim.git
synced 2025-11-16 23:24:03 -05:00
Problem: Coverity is not run from github. Solution: Add a coverity script. (James McCoy, closes #8714)
25 KiB
25 KiB