diff options
author | Bram Moolenaar <Bram@vim.org> | 2020-07-29 17:34:33 +0200 |
---|---|---|
committer | Bram Moolenaar <Bram@vim.org> | 2020-07-29 17:34:33 +0200 |
commit | ed3c7e633944cf70754bc05504a7cd724fdca178 (patch) | |
tree | c49f36e618492a28ba68c194fb6a5fc1c5f94bb0 /.github | |
parent | f9a343f8bda8fbe17ff045bef7342ffd6179e2f5 (diff) |
patch 8.2.1318: no status badge for Github CIv8.2.1318
Problem: No status badge for Github CI.
Solution: Add a badge.
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions