]> granicus.if.org Git - vim/commitdiff
Merge pull request #5275 from vim/revert-5273-cirrus_ci
authorBram Moolenaar <bram@moolenaar.net>
Wed, 27 Nov 2019 20:57:06 +0000 (21:57 +0100)
committerGitHub <noreply@github.com>
Wed, 27 Nov 2019 20:57:06 +0000 (21:57 +0100)
Revert "Cirrus CI: add a simple CI using BSD"


Trivial merge