Bram Moolenaar d57a6bd98c patch 8.2.3302: Coverity is not run from github ...

Problem:    Coverity is not run from github.
Solution:   Add a coverity script. (James McCoy, closes #8714)

2021-08-07 12:32:20 +02:00

..

ISSUE_TEMPLATE

Update feature_request.md

2020-05-17 15:17:26 +02:00

workflows

patch 8.2.3302: Coverity is not run from github

2021-08-07 12:32:20 +02:00

CODEOWNERS

Update runtime files

2021-07-28 20:10:16 +02:00

FUNDING.yml

patch 8.1.1370: not using the new github feature for donations

2019-05-23 20:42:10 +02:00